The Foundations of Program Verification: Wiley Teubner on Applicable Theory in Computer Science
Autor Jacques Loeckx, Kurt Sieberen Hardback – 3 feb 1987
* Part A: Preliminaries
* Mathematical Preliminaries
* Predicate Logic * Part B: Semantics of Programming Languages
* Three Simple Programming Languages
* Fixpoints in Complete Partial Orders
* Denotational Semantics * Part C: Program Verification Methods
* Correctness of Programs
* The Classical Methods of Floyd
* The Axiomatic Method of Hoare
* Verification Methods Based on Denotational Semantics
* LCF A Logic for Computable Functions * Part D: Prospects
* An Overview of Further Developments Bibliography Index Review of the First Edition '... one ofthe better books currently available which introduces programverification.' G. Bunting, University College CardiffUniversity Computing
Preț: 2633.39 lei
Preț vechi: 3419.99 lei
-23% Nou
Puncte Express: 3950
Preț estimativ în valută:
503.95€ • 522.94$ • 421.22£
503.95€ • 522.94$ • 421.22£
Carte tipărită la comandă
Livrare economică 11-17 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780471912828
ISBN-10: 0471912824
Pagini: 240
Dimensiuni: 150 x 234 x 19 mm
Greutate: 0.54 kg
Ediția:2nd Edition
Editura: Wiley
Seria Wiley Teubner on Applicable Theory in Computer Science
Locul publicării:Chichester, United Kingdom
ISBN-10: 0471912824
Pagini: 240
Dimensiuni: 150 x 234 x 19 mm
Greutate: 0.54 kg
Ediția:2nd Edition
Editura: Wiley
Seria Wiley Teubner on Applicable Theory in Computer Science
Locul publicării:Chichester, United Kingdom