Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Benjamin Wei�

ISBN 10: 3866446233 ISBN 13: 9783866446236

Editorial: Karlsruher Institut für Technologie, 2014

Idioma: Ingl�s

Impresi�n bajo demanda

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por preigu, Osnabr�ck, Alemania

Vendedor de AbeBooks desde 5 de agosto de 2024

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa blanda

Condici�n: Nuevo

Precio: EUR 32,50 Convertir moneda

EUR 55,00 gastos de env�o desde Alemania a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 5 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

N� de ref. del art�culo 105170309

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Editor

Karlsruher Institut f�r Technologie

Fecha de publicaci�n

2014

Idioma

Ingl�s

ISBN 10

3866446233

ISBN 13

9783866446236

Encuadernaci�n

Taschenbuch

Estado

Neu

Cat�logos de vendedores

B�cher

Acerca de

Sinopsis

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.

Rese�a del editor

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

preigu betreibt einen Onlineversandhandel mit �ber 1 Mio. Produkten in verschiedenen Sortimenten. Das Kernsortiment besteht aus B�chern, Medien und Spielwaren. Ein gelungenes Einkaufserlebnis ist das Ziel einer jeden Bestellung bei preigu, denn der Kunde und seine Zufriedenheit stehen an erster Stelle. preigu setzt daher auf einen kompetenten Kundenservice, funktionierende Prozesse und schnelle Reaktion.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

preigu
Germany

Condiciones de venta y env�o

Condiciones de venta

Standard Business Terms and customer information / data protection declaration

I. Standard business terms

� 1 Basic provisions

(1) The following terms and conditions of business apply for all contracts concluded with us as the supplier (preigu GmbH & Co. KG) via the websites AbeBooks and/or ZVAB. Unless otherwise agreed, the inclusion of your own terms and conditions is explicitly rejected.

(2) A ?consumer' in the sense of the following regulations is every natural person who concludes a legal t...

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

Tarifas de env�o de Alemania a Espa�a

Tarifas de env�o de Alemania a Espa�a
Cantidad del pedido	De 60 a 60 d�as h�biles	De 60 a 60 d�as h�biles
Primer art�culo	EUR 55.00	EUR 55.00

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.

Informaci�n detallada sobre el vendedor