![The Foundations of Program Verification [electronic resource] /](/search/themes/bootstrap3/images/libros.png)
The Foundations of Program Verification [electronic resource] /
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.
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Texto biblioteca |
| Language: | ger |
| Published: |
Wiesbaden : Vieweg+Teubner Verlag : Imprint: Vieweg+Teubner Verlag,
1987
|
| Subjects: | Engineering., Engineering, general., |
| Online Access: | http://dx.doi.org/10.1007/978-3-322-96753-4 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|