Verwandte Artikel zu Dynamic Logic for an Intermediate Language

Dynamic Logic for an Intermediate Language - Softcover

 
9783844297034: 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

Gratis für den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

Suchergebnisse für Dynamic Logic for an Intermediate Language

Foto des Verkäufers

Mattias Ulbrich
Verlag: Epubli, 2014
ISBN 10: 3844297030 ISBN 13: 9783844297034
Neu Taschenbuch

Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 38,00
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Mattias Ulbrich
Verlag: Epubli Jun 2014, 2014
ISBN 10: 3844297030 ISBN 13: 9783844297034
Neu Taschenbuch
Print-on-Demand

Anbieter: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 38,00
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Mattias Ulbrich
Verlag: Epubli Jun 2014, 2014
ISBN 10: 3844297030 ISBN 13: 9783844297034
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 38,00
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Foto des Verkäufers

Ulbrich, Mattias
Verlag: epubli, 2014
ISBN 10: 3844297030 ISBN 13: 9783844297034
Neu Softcover
Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

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

Verkäufer kontaktieren

Neu kaufen

EUR 38,00
Währung umrechnen
Versand: Gratis
Innerhalb Deutschlands
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Ulbrich, Mattias
Verlag: epubli GmbH, 2014
ISBN 10: 3844297030 ISBN 13: 9783844297034
Neu Paperback

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 268 pages. 9.45x6.69x0.63 inches. In Stock. Bestandsnummer des Verkäufers 3844297030

Verkäufer kontaktieren

Neu kaufen

EUR 69,64
Währung umrechnen
Versand: EUR 11,76
Von Vereinigtes Königreich nach Deutschland
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb