The Foundations of Program Verification
2nd Edition
Published on 1. February 1987
Book
Hardback
IX, 230 pages
978-3-519-12101-5 (ISBN)
More details
Series
Edition
2.Aufl. 1987
Language
German
Place of publication
Wiesbaden
Germany
Publishing group
Vieweg & Teubner
Product notice
sewn/stitched
Cloth over boards
Illustrations
1
1 farbige Abbildung
Bibliography; Illustrations, color
ISBN-13
978-3-519-12101-5 (9783519121015)
DOI
10.1007/978-3-322-96753-4
Schweitzer Classification
Other editions
Additional editions
Kurt Sieber | Jacques Loeckx
The Foundations of Program Verification
Book
10/2013
2nd Edition
Vieweg+Teubner Verlag
€44.99
Shipment within 10-15 days
Kurt Sieber | Jacques Loeckx
The Foundations of Program Verification
E-Book
07/2013
2nd Edition
Vieweg+Teubner Verlag
€34.99
Available for download
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.