Verwandte Artikel zu Dynamic Logic for an Intermediate Language
- Verlagepubli GmbH
- Erscheinungsdatum2014
- ISBN 10 3844297030
- ISBN 13 9783844297034
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten268
- Kontakt zum HerstellerNicht verfügbar
Neu kaufen
Diesen Artikel anzeigen
EUR 38,00
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für Dynamic Logic for an Intermediate Language
Foto des Verkäufers
Dynamic Logic for an Intermediate Language : Verification, Interaction and Refinement
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book is about ensuring that software behaves as it is supposed to behave. More precisely, it is concerned with the deductive verification of the compliance of software implementations with their formal specification.Two successful ideas in program verification are integrated into a new approach which combines the advantages of both: Dynamic logic is brought together with verification on an intermediate verification language.Program verification combines the difficulties of two tasks in one: the difficulty of verifying algorithms and the problems of verification on implementation level. We propose a methodology to decompose this difficult task into two easier tasks using the well-established technique of refinement. Bestandsnummer des Verkäufers 9783844297034
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Dynamic Logic for an Intermediate Language
Print-on-DemandAnbieter: Rheinberg-Buch Andreas Meier eK, 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 book is about ensuring that software behaves as it is supposed to behave. More precisely, it is concerned with the deductive verification of the compliance of software implementations with their formal specification.Two successful ideas in program verification are integrated into a new approach which combines the advantages of both: Dynamic logic is brought together with verification on an intermediate verification language.Program verification combines the difficulties of two tasks in one: the difficulty of verifying algorithms and the problems of verification on implementation level. We propose a methodology to decompose this difficult task into two easier tasks using the well-established technique of refinement. 268 pp. Englisch. Bestandsnummer des Verkäufers 9783844297034
Anzahl: 20 verfügbar
Foto des Verkäufers
Dynamic Logic for an Intermediate Language
Print-on-DemandAnbieter: 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 book is about ensuring that software behaves as it is supposed to behave. More precisely, it is concerned with the deductive verification of the compliance of software implementations with their formal specification.Two successful ideas in program verification are integrated into a new approach which combines the advantages of both: Dynamic logic is brought together with verification on an intermediate verification language.Program verification combines the difficulties of two tasks in one: the difficulty of verifying algorithms and the problems of verification on implementation level. We propose a methodology to decompose this difficult task into two easier tasks using the well-established technique of refinement. 268 pp. Englisch. Bestandsnummer des Verkäufers 9783844297034
Anzahl: 2 verfügbar
Foto des Verkäufers
Dynamic Logic for an Intermediate Language
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book explains how to prove programs correct using dynamic logic and refinement.This book is about ensuring that software behaves as it is supposed to behave. More precisely, it is concerned with the deductive verification of the compliance of softw. Bestandsnummer des Verkäufers 385630587
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Dynamic Logic for an Intermediate Language
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 268 pages. 9.45x6.69x0.63 inches. In Stock. Bestandsnummer des Verkäufers 3844297030
Anzahl: 1 verfügbar