Cantitate/Preț
Produs
Total produse
Vezi coșul
The Foundations of Program Verification de Jacques Loeckx

The Foundations of Program Verification: Series in Computer Science

Cu Jacques Loeckx Autor Kurt Sieber Contribuţii de Ryan Stansifer
de Limba Germană Paperback – 3 oct 2013

Din seria Series in Computer Science

Preț: 31807 lei

Nou

Puncte Express: 477
Preț estimativ în valută:
6087€ • 6316$ • 5088£

Carte tipărită la comandă

Livrare economică 15-29 martie

 Adaugă în coș

Wish list
Gift list
Am citit!
Adaugă în listă
Preluare comenzi: 021 569.72.76

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

Public țintă

Graduate

Cuprins

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.