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
Carte tipărită la comandă
Livrare economică 07-21 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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
-
-39%Preț: 351.76 lei572.55 lei -
Preț: 79.80 lei -
Practical Reverse EngineeringBruce DangPreț: 351.15 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.