Synopsis
Program verification is presented here in a syle that is self-contained and accessible without prior knowledge of logic or semantics. Concentrates on the classic methods such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott's fixed point induction., while explaining their mathematical background. The exposition is detailed and mathematically rigorous. To present the subject in as simply as possible, three representative programming languages are a flowchart programming language, a language of while-programs, and a language of recursive programs. Provides illustrations of each verification method and proofs of their correctness by means of the appropriate semantics. Examples reappear throughout the book to illustrate how different methods are related.
"synopsis" may belong to another edition of this title.
Other Popular Editions of the Same Title
Search results for The foundations of program verification (Wiley-Teubner...
Seller Image
The foundations of program verification
ISBN 10: 3519021013
ISBN 13: 9783519021018
Used
Hardcover
Seller: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Germany
Seller rating 5 out of 5 stars
Hardcover. 230 p. Good condition. The pages are clean and without markings. Slight signs of storage and use. Dedication by the author. Retired library copy with corresponding marking. Otherwise, a neat copy. 9783519021018 Sprache: Englisch Gewicht in Gramm: 1000. Seller Inventory # 314508
Buy Used
US$ 17.55
US$ 17.33 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Seller Image
The foundations of program verification.
Published by
Stuttgart [Germany], B.G. Teubner; Wiley, 1984
ISBN 10: 3519021013
ISBN 13: 9783519021018
Used
Hardcover
Seller: Antiquariat Bookfarm, Löbnitz, Germany
Seller rating 5 out of 5 stars
Hardcover. ix, 230 S. Ehem. Bibliotheksexemplar mit Signatur und Stempel. GUTER Zustand, ein paar Gebrauchsspuren. Ex-library with stamp and library-signature. GOOD condition, some traces of use. D03362 3519021013 Sprache: Englisch Gewicht in Gramm: 550. Seller Inventory # 2513055
Buy Used
US$ 17.54
US$ 46.36 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available
Stock Image
The foundations of program verification (Wiley-Teubner series in computer science) [Board book]
Seller: Hay-on-Wye Booksellers, Hay-on-Wye, HEREF, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Bumps/wear at edges and corners of hard board. Some light storage marks and scratches to hard board. Pages excellent, clean and legible. Seller Inventory # 005808-10
Buy Used
US$ 62.43
US$ 33.34 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
The foundations of program verification. and Kurt Sieber. In collab. with Ryan D. Stansifer, Wiley-Teubner series in computer science
Published by
Stuttgart : Teubner, Chichester , New York , Brisbane , Toronto , Singapore : Wiley, 1984
ISBN 10: 3519021013
ISBN 13: 9783519021018
Used
Seller: NEPO UG, Rüsselsheim am Main, Germany
Seller rating 5 out of 5 stars
Pp. Condition: Gut. IX, 230 S. , 24 cm Versand am folgenden Arbeitstag mit Rechnung daily shipping wordwide with invoice ex library Sprache: Deutsch Gewicht in Gramm: 550. Seller Inventory # 124332
Buy Used
US$ 68.29
US$ 27.82 shipping
Ships from Germany to U.S.A.
Ships from Germany to U.S.A.
Quantity: 1 available