The Foundations of Program Verification: Series in Computer Science
Cu Jacques Loeckx Autor Kurt Sieber Contribuţii de Ryan Stansiferde Limba Germană Paperback – 3 oct 2013
Preț: 306.08 lei
Puncte Express: 459
Preț estimativ în valută:
54.08€ • 62.69$ • 47.16£
54.08€ • 62.69$ • 47.16£
Carte tipărită la comandă
Livrare economică 15-29 mai
Specificații
ISBN-13: 9783322967541
ISBN-10: 3322967549
Pagini: 244
Ilustrații: IX, 230 S. 1 Abb. in Farbe.
Dimensiuni: 152 x 229 x 13 mm
Greutate: 0.33 kg
Ediția:2. Aufl. 1987. Softcover reprint of the original 2nd ed. 1987
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Series in Computer Science
Locul publicării:Wiesbaden, Germany
ISBN-10: 3322967549
Pagini: 244
Ilustrații: IX, 230 S. 1 Abb. in Farbe.
Dimensiuni: 152 x 229 x 13 mm
Greutate: 0.33 kg
Ediția:2. Aufl. 1987. Softcover reprint of the original 2nd ed. 1987
Editura: Vieweg+Teubner Verlag
Colecția Vieweg+Teubner Verlag
Seria Series in Computer Science
Locul publicării:Wiesbaden, Germany
V-ar putea interesa
-
-33%Preț: 369.91 lei554.17 lei -
Preț: 79.80 lei -
Practical Reverse EngineeringBruce DangPreț: 345.02 lei -
Vascularization for Tissue Engineering and Regenerative MedicineWolfgang Holnthoner-5%Preț: 3381.05 lei3559.00 lei -
Preț: 301.29 lei -
Fabrikbetriebslehre 1Thomas BauernhanslPreț: 282.42 lei
Public țintă
GraduateCuprins
1 Mathematical Preliminaries.- 2 Predicate Logic.- 3 Three Simple Programming Languages.- 4 Fixpoints in Complete Partial Orders.- 5 Denotational Semantics.- 6 Correctness of Programs.- 7 The Classical Methods of Floyd.- 8 The Axiomatic Method of Hoare.- 9 Verification Methods Based on Denotational Semantics.- 10 LCF, A Logic for Computable Functions.- 11 An Overview of Further Developments.