9783844297034 - dynamic logic for an intermediate language di ulbrich, mattias (4 risultati)
- Brossura
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 69,06
EUR 14,61 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Paperback. Condizione: Brand New. 268 pages. 9.45x6.69x0.63 inches. In Stock.
- Brossura
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 38,00
EUR 62,29 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 pr…ogram 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.
- Brossura
- Print on Demand
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, GermaniaBuchWeltWeit Ludwig Meier e.K.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 38,00
EUR 23,00 spedizioneSpedito da Germania a U.S.A.Quantità: 2 disponibili
Taschenbuch. Condizione: 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 succes…sful 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.
- Brossura
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 38,00
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Condizione: 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 ve…rification of the compliance of softw.
