Name: Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction (en Inglés)
Price: 147.19 PEN
Availability: InStock
Author: Benjamin Weiß
ISBN: 9783866446236

portada Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction (en Inglés)

Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction (en Inglés)

Formato

Libro Físico

Editorial

Kit Scientific Publishing

Autor

Benjamin Weiß

Idioma

Inglés

N° páginas

292

Encuadernación

Tapa Blanda

ISBN13

9783866446236

Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction (en Inglés)

Benjamin Weiß (Autor) · Kit Scientific Publishing · Tapa Blanda

Más barato Libro Nuevo Importado

Envío: 21 a 26 días háb.

S/ 327,08S/ 147,19

-55%

Más rápido Libro Nuevo Importado

Envío: 12 a 17 días háb.

S/ 366,21S/ 164,79

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo Más barato

Quedan 10 unidades

S/ 147,19

Llega entre el 21 Ago y el 31 Ago a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction (en Inglés)"

Software systems play a central role in modern society, and their correctness is often crucially important. Formal specification and verification are promising approaches for ensuring correctness more rigorously than just by testing. This work presents an approach for deductively verifying design-by-contract specifications of object-oriented programs. The approach is based on dynamic logic, and addresses the challenges of modularity and automation using dynamic frames and predicate abstraction.