Artículos relacionados a Dynamic Logic for an Intermediate Language
Comprar nuevo
Ver este artículo
EUR 38,00
EUR 11,00 gastos de envío desde Alemania a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Dynamic Logic for an Intermediate Language
Imagen del vendedor
Dynamic Logic for an Intermediate Language
Impresión bajo demandaLibrería: Rheinberg-Buch Andreas Meier eK, Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783844297034
Cantidad disponible: 20 disponibles
Imagen del vendedor
Dynamic Logic for an Intermediate Language
Impresión bajo demandaLibrería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783844297034
Cantidad disponible: 2 disponibles
Imagen del vendedor
Dynamic Logic for an Intermediate Language : Verification, Interaction and Refinement
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: 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. Nº de ref. del artículo: 9783844297034
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Dynamic Logic for an Intermediate Language
Impresión bajo demandaLibrería: moluna, Greven, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 385630587
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Dynamic Logic for an Intermediate Language
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Brand New. 268 pages. 9.45x6.69x0.63 inches. In Stock. Nº de ref. del artículo: 3844297030
Cantidad disponible: 1 disponibles