The Foundations of Program Verification - Rilegato

Sieber, Kurt

 
9783519121015: The Foundations of Program Verification
Rilegato
ISBN 10: 3519121018 ISBN 13: 9783519121015
Casa editrice: Vieweg+Teubner Verlag, 1987

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.

Editore
Vieweg+Teubner Verlag
Data di pubblicazione
1987
Lingua
Tedesco
ISBN 10 
3519121018
ISBN 13 
9783519121015
Rilegatura
Copertina rigida
Numero edizione
2
Numero di pagine
230
Contatto del produttore
non disponibile
Persona responsabile
non disponibile

Altre edizioni note dello stesso titolo

9783322967541: The Foundations of Program Verification

Edizione in evidenza

ISBN 10:  3322967549 ISBN 13:  9783322967541
Casa editrice: Vieweg+Teubner Verlag, 2013
Brossura