Articoli correlati a The Foundations of Program Verification
Contenuti
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Compra usato
Condizioni: ottimo239 Seiten 9783519121015 Wir verkaufen...
Visualizza questo articolo
EUR 13,20
EUR 14,99 per la spedizione da Germania a Italia
Destinazione, tempi e costi
Risultati della ricerca per The Foundations of Program Verification
Immagini fornite dal venditore
The Foundations of Program Verification (Series in Computer Science)
Editore:
Vieweg+Teubner Verlag 02.1987., 1987
ISBN 10: 3519121018
ISBN 13: 9783519121015
Antico o usato
Rilegato
Da: Antiquariat Jochen Mohr -Books and Mohr-, Oberthal, Germania
Valutazione del venditore 5 su 5 stelle
hardcover. Condizione: Sehr gut. 2.Aufl. 1987. 239 Seiten 9783519121015 Wir verkaufen nur, was wir auch selbst lesen würden. Sprache: Deutsch Gewicht in Gramm: 550. Codice articolo 88816
Quantità: 1 disponibili