Articles liés à The Foundations of Program Verification
Synopsis
The Foundations of Program Verification Second Edition Jacques Loeckx and Kurt Sieber Fachbereich informatik Universitat des Saariandes, Saarbrucken, Germany In collaboration with Ryan D. Stansifer Department of Computer Science Cornell University, USA This revised edition provides a precise mathematical background to several program verification techniques. It concentrates on those verification methods that have now become classic, such as the inductive assertions method of Floyd, the axiomatic method of Hoare, and Scott's fixpoint induction. The aim of the book is to present these different verification methods in a simple setting and to explain their mathematical background in particular the problems of correctness and completeness of the different methods are discussed in some detail and many helpful examples are included. Contents Authors' PrefacePart 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 Bibliography Index Review of the First Edition '. one of the better books currently available which introduces program verification.' G. Bunting, University College Cardiff University Computing
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
Jacques Loeckx and Kurt Sieber are the authors of The Foundations of Program Verification, 2nd Edition, published by Wiley.
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
Image d'archives
The Foundations of Program Verification
Edité par
Wiley & Sons, Incorporated, John, 1991
ISBN 10 : 0471912824
ISBN 13 : 9780471912828
Ancien ou d'occasion
Couverture rigide
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Very Good. 2nd. Used book that is in excellent condition. May show signs of wear or have minor defects. N° de réf. du vendeur 8062005-6
Quantité disponible : 1 disponible(s)
Image d'archives
The Foundations of Program Verification.
Edité par
New York: Wiley, 1987
ISBN 10 : 0471912824
ISBN 13 : 9780471912828
Ancien ou d'occasion
Couverture rigide
Vendeur : Plurabelle Books Ltd, Cambridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Very Good. Series: Wiley Teubner on Applicable Theory in Computer Science ix 230p glossy hardback, bibliography, index, some page edges show very faint irregularity, hardly visible, unused copy, almost as new, second edition Language: English. N° de réf. du vendeur 40298
Quantité disponible : 1 disponible(s)
Image d'archives
The Foundations of Program Verification (Wiley-Teubner Series in Computer Science)
Edité par
Wiley, 1987
ISBN 10 : 0471912824
ISBN 13 : 9780471912828
Ancien ou d'occasion
Couverture rigide
Vendeur : medimops, Berlin, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. Befriedigend/Good: Durchschnittlich erhaltenes Buch bzw. Schutzumschlag mit Gebrauchsspuren, aber vollständigen Seiten. / Describes the average WORN book or dust jacket that has all the pages present. N° de réf. du vendeur M00471912824-G
Quantité disponible : 1 disponible(s)
Image d'archives
THE FOUNDATIONS OF PROGRAM VERIFICATION. Second Edition.
Edité par
John Wiley & Sons:, 1987
ISBN 10 : 0471912824
ISBN 13 : 9780471912828
Ancien ou d'occasion
Couverture rigide
Vendeur : PASCALE'S BOOKS, NORTH READING, MA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hard Cover. Etat : Fine. First published in 1984, this book is the Second edition from 1987, 230 pages. "This is a textbook on program verification. It concentrated on those verification methods that have now become classic such as the inductive assertions method of Floyd, the axiomatic method of Hoare and Scott's fixpoint induction. The aim of this book is to present these different verification methods and to explain their mathematical background. The subject is treated with mathematical precision, and many examples are included. " FINE HARDCOVER. Size: 8vo - over 7¾" - 9¾" tall. N° de réf. du vendeur 022782
Quantité disponible : 1 disponible(s)
Image d'archives
Foundations of Program Verification 2e
Edité par
John Wiley and Sons Ltd, 1987
ISBN 10 : 0471912824
ISBN 13 : 9780471912828
Ancien ou d'occasion
Couverture rigide
Vendeur : OM Books, Sevilla, SE, Espagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : Usado - bueno. N° de réf. du vendeur 9780471912828
Quantité disponible : 1 disponible(s)