Articles liés à The Foundations of Program Verification (Wiley-Teubner...
The Foundations of Program Verification (Wiley-Teubner Series in Computer Science) - Couverture rigide
Quatrième de couverture
The Foundations of Program Verification Second Edition JacquesLoeckx and Kurt Sieber Fachbereich informatik Universität desSaariandes, Saarbrücken, Germany In collaboration with Ryan D.Stansifer Department of Computer Science Cornell University, USAThis revised edition provides a precise mathematical background toseveral program verification techniques. It concentrates on thoseverification methods that have now become classic, such as theinductive assertions method of Floyd, the axiomatic method ofHoare, and Scott‘s fixpoint induction. The aim of the book isto present these different verification methods in a simple settingand to explain their mathematical background in particular theproblems of correctness and completeness of the different methodsare discussed in some detail and many helpful examples areincluded. Contents Authors’ Preface
- Part A: Preliminaries
- Mathematical Preliminaries
- Predicate Logic
- Part B: Semantics of Programming Languages
- Three Simple Programming Languages
- Fixpoints in Complete Partial Orders
- Denotational Semantics
- Part C: Program Verification Methods
- Correctness of Programs
- The Classical Methods of Floyd
- The Axiomatic Method of Hoare
- Verification Methods Based on Denotational Semantics
- LCF A Logic for Computable Functions
- Part D: Prospects
- An Overview of Further Developments
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour The Foundations of Program Verification (Wiley-Teubner...
Image d'archives
The foundations of program verification (Wiley-Teubner series in computer science)
Edité par
New York, NY, U.S.A.: John Wiley & Sons, Incorporated, 1985, 1984
ISBN 10 : 047190323X
ISBN 13 : 9780471903239
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Bon. Ancien livre de bibliothèque. Traces d'usure sur la couverture. Edition 1984. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Signs of wear on the cover. Edition 1984. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-840-304
Quantité disponible : 1 disponible(s)
Image d'archives
The foundations of program verification (Wiley-Teubner series in computer science)
Edité par
New York, NY, U.S.A.: John Wiley & Sons, Incorporated, 1985, 1984
ISBN 10 : 047190323X
ISBN 13 : 9780471903239
Ancien ou d'occasion
Couverture rigide
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Pages cornées. Couverture différente. Edition 1984. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Slight signs of wear on the cover. Dog-eared pages. Different cover. Edition 1984. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur E-596-286
Quantité disponible : 1 disponible(s)
Image d'archives
Loeckx *foundations* Of Program Verification (Wiley Teubner Series on Applicable Theory in Computer Science)
Edité par
Wileyâ"Blackwell, 1987
ISBN 10 : 047190323X
ISBN 13 : 9780471903239
Ancien ou d'occasion
Couverture rigide
Vendeur : Goldstone Books, Llandybie, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
hardcover. Etat : Very Good. All orders are dispatched within one working day from our UK warehouse. We've been selling books online since 2004! We have over 750,000 books in stock. No quibble refund if not completely satisfied. N° de réf. du vendeur mon0007596799
Quantité disponible : 1 disponible(s)
Image d'archives
The foundations of program verification (Wiley-Teubner series in computer science)
Edité par
New York, NY, U.S.A.: John Wiley & Sons, Incorporated, 1985, 1985
ISBN 10 : 047190323X
ISBN 13 : 9780471903239
Ancien ou d'occasion
Couverture rigide
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.11. N° de réf. du vendeur G047190323XI4N00
Quantité disponible : 1 disponible(s)
Image d'archives
The Foundations of Program Verification
Edité par
Wiley & Sons, Incorporated, John, 1985
ISBN 10 : 047190323X
ISBN 13 : 9780471903239
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. N° de réf. du vendeur 42642866-6
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Foundations of Programme Verification (Wiley-Teubner series in computer science)
Edité par
John Wiley & Sons Ltd 12.12.1984., 1984
ISBN 10 : 047190323X
ISBN 13 : 9780471903239
Ancien ou d'occasion
Couverture rigide
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Gut. 240 Seiten ex Library Book / aus einer wissenschafltichen Bibliothek / Sprache: Englisch Gewicht in Gramm: 469 22,9 x 15,2 x 2,3 cm, Gebundene Ausgabe. N° de réf. du vendeur 367999
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Foundations of Programme Verification (Wiley-Teubner series in computer science)
Edité par
John Wiley & Sons Ltd 12.12.1984., 1984
ISBN 10 : 047190323X
ISBN 13 : 9780471903239
Ancien ou d'occasion
Couverture rigide
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Sehr gut. 240 Seiten Exemplar aus einer wissenchaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 22,9 x 15,2 x 2,3 cm, Gebundene Ausgabe. N° de réf. du vendeur 383875
Quantité disponible : 2 disponible(s)
Image d'archives
The foundations of program verification (Wiley-Teubner series in computer science)
Edité par
Wiley, 1984
ISBN 10 : 047190323X
ISBN 13 : 9780471903239
Ancien ou d'occasion
Couverture rigide
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_376815114
Quantité disponible : 1 disponible(s)