The Foundations of Program Verification
2nd Edition
Published on 3. October 2013
Book
Paperback/Softback
IX, 230 pages
978-3-322-96754-1 (ISBN)
Description
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.
More details
Series
Edition
2. Auflage 1987
Language
German
Place of publication
Wiesbaden
Germany
Publishing group
Vieweg & Teubner
Target group
Primary & secondary/elementary & high school
Graduate
Illustrations
1 farbige Abbildung
IX, 230 S. 1 Abb. in Farbe.
Dimensions
Height: 229 mm
Width: 152 mm
Thickness: 14 mm
Weight
360 gr
ISBN-13
978-3-322-96754-1 (9783322967541)
DOI
10.1007/978-3-322-96753-4
Schweitzer Classification
Other editions
Additional editions
Kurt Sieber | Jacques Loeckx
The Foundations of Program Verification
E-Book
07/2013
2nd Edition
Vieweg+Teubner Verlag
€34.99
Available for download
Kurt Sieber | Jacques Loeckx
The Foundations of Program Verification
Book
02/1987
2nd Edition
Vieweg+Teubner Verlag
€49.99
Article exhausted; check different version
Persons
Content
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.