Verwandte Artikel zu The Foundations of Program Verification (Series in...
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für The Foundations of Program Verification (Series in...
Beispielbild für diese ISBN
The Foundations of Program Verification (ger)
Print-on-DemandAnbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Questo è un articolo print on demand. Bestandsnummer des Verkäufers 294abc42f22e3051dcf8fbbd017818d5
Neu kaufen
EUR 39,87
EUR 5,50 Versand
Versand von Italien nach USA
Versand von Italien nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
The Foundations of Program Verification (Series in Computer Science) (German Edition)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783322967541_new
Neu kaufen
EUR 52,52
EUR 14,00 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
The Foundations of Program Verification
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2013. Paperback. . . . . . Bestandsnummer des Verkäufers V9783322967541
Neu kaufen
EUR 57,08
EUR 9,50 Versand
Versand von Irland nach USA
Versand von Irland nach USA
Anzahl: 15 verfügbar
Beispielbild für diese ISBN
The Foundations of Program Verification (Series in Computer Science)
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783322967541
Neu kaufen
EUR 48,57
EUR 18,10 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 10 verfügbar
Foto des Verkäufers
The Foundations of Program Verification
Verlag:
Vieweg+Teubner, Vieweg+Teubner Verlag Okt 2013, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This is a textbook on program verification. 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 and to explain their mathemati cal background. The subject is treated with mathematical precision, and many examples are included. Throughout the book the same examples will reappear to illustrate how the different methods are related. The material is self-contained and accessible without prior knowledge of logic or semantics, but elementary knowledge of programming languages, formal languages and the theory of computation is helpful. A main concern has been to present the subject in as simple a setting as possible. For this reason three elementary, representative programming languages are in troduced: a flowchart programming language, a language of while-programs and a language of recursive programs. For these programming languages the operational and denotational semantics are introduced. Each verification method is then illustrated in the most appropriate of these languages and proved correct with the help of the most appropriate of the semantics. 230 pp. Deutsch. Bestandsnummer des Verkäufers 9783322967541
Neu kaufen
EUR 44,99
EUR 23,00 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
The Foundations of Program Verification
Verlag:
Walter de Gruyter, Incorporated, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Neu
Softcover
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 244. Bestandsnummer des Verkäufers 2697287463
Neu kaufen
EUR 67,38
EUR 3,45 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
The Foundations of Program Verification
Verlag:
Walter de Gruyter, Incorporated, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Neu
Softcover
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Print on Demand pp. 244. Bestandsnummer des Verkäufers 96191224
Neu kaufen
EUR 66,15
EUR 7,60 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
The Foundations of Program Verification
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 2nd edition. 239 pages. German language. 8.90x5.98x0.63 inches. In Stock. Bestandsnummer des Verkäufers x-3322967549
Neu kaufen
EUR 64,13
EUR 11,69 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
The Foundations of Program Verification
Verlag:
Walter de Gruyter, Incorporated, 2013
ISBN 10: 3322967549
ISBN 13: 9783322967541
Neu
Softcover
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 244. Bestandsnummer des Verkäufers 1897287469
Neu kaufen
EUR 68,02
EUR 9,95 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
The Foundations of Program Verification
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. 2013. Paperback. . . . . . Books ship from the US and Ireland. Bestandsnummer des Verkäufers V9783322967541
Neu kaufen
EUR 70,55
EUR 9,07 Versand
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 15 verfügbar