Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction

Weiß, Benjamin

ISBN 10: 3866446233 ISBN 13: 9783866446236
Editorial: KIT Scientific Publishing, 2011
Nuevos Encuadernación de tapa blanda

Librería: Ria Christie Collections, Uxbridge, Reino Unido Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Vendedor de AbeBooks desde 25 de marzo de 2015

Este artículo en concreto ya no está disponible.
Ver los artículos de este vendedor Crear una petición para artículos similares

Descripción

Descripción:

In. N° de ref. del artículo ria9783866446236_new

Denunciar este artículo

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

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

Detalles bibliográficos

Título: Deductive Verification of Object-Oriented ...
Editorial: KIT Scientific Publishing
Año de publicación: 2011
Encuadernación: Encuadernación de tapa blanda
Condición: New

Los mejores resultados en AbeBooks

Imagen del vendedor

Benjamin Weiß
ISBN 10: 3866446233 ISBN 13: 9783866446236
Nuevo Taschenbuch

Librería: AHA-BUCH GmbH, Einbeck, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. Nº de ref. del artículo: 9783866446236

Contactar al vendedor

Comprar nuevo

EUR 32,50
EUR 62,50 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito

Imagen del vendedor

Benjamin Weiß
ISBN 10: 3866446233 ISBN 13: 9783866446236
Nuevo Taschenbuch
Impresión bajo demanda

Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 292 pp. Englisch. Nº de ref. del artículo: 9783866446236

Contactar al vendedor

Comprar nuevo

EUR 32,50
EUR 23,00 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Weiß, Benjamin
Publicado por KIT Scientific Publishing, 2014
ISBN 10: 3866446233 ISBN 13: 9783866446236
Nuevo Tapa blanda
Impresión bajo demanda

Librería: moluna, Greven, Alemania

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 a. Nº de ref. del artículo: 5587966

Contactar al vendedor

Comprar nuevo

EUR 32,50
EUR 48,99 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen del vendedor

Benjamin Weiß
ISBN 10: 3866446233 ISBN 13: 9783866446236
Nuevo Taschenbuch

Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Neuware -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.Books on Demand GmbH, Überseering 33, 22297 Hamburg 292 pp. Englisch. Nº de ref. del artículo: 9783866446236

Contactar al vendedor

Comprar nuevo

EUR 32,50
EUR 60,00 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 2 disponibles

Añadir al carrito

Imagen del vendedor

Benjamin Weiß
ISBN 10: 3866446233 ISBN 13: 9783866446236
Nuevo Taschenbuch
Impresión bajo demanda

Librería: preigu, Osnabrück, Alemania

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Taschenbuch. Condición: Neu. Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction | Benjamin Weiß | Taschenbuch | 292 S. | Englisch | 2014 | Karlsruher Institut für Technologie | EAN 9783866446236 | Verantwortliche Person für die EU: Karlsruher Institut für Technologie (KIT), Institut AIFB, Kaiserstr. 89, 76133 Karlsruhe, verlag[at]aifb[dot]uni-karlsruhe[dot]de | Anbieter: preigu Print on Demand. Nº de ref. del artículo: 105170309

Contactar al vendedor

Comprar nuevo

EUR 32,50
EUR 70,00 shipping
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 5 disponibles

Añadir al carrito

Imagen de archivo

Wei�, Benjamin
ISBN 10: 3866446233 ISBN 13: 9783866446236
Nuevo PF

Librería: Chiron Media, Wallingford, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783866446236

Contactar al vendedor

Comprar nuevo

EUR 33,09
EUR 17,69 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: 10 disponibles

Añadir al carrito

Imagen de archivo

Weiß, Benjamin
ISBN 10: 3866446233 ISBN 13: 9783866446236
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store UK, Fairford, GLOS, Reino Unido

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783866446236

Contactar al vendedor

Comprar nuevo

EUR 36,56
EUR 5,73 shipping
Se envía de Reino Unido a Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Weiß, Benjamin
ISBN 10: 3866446233 ISBN 13: 9783866446236
Nuevo PAP
Impresión bajo demanda

Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

PAP. Condición: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. del artículo: L0-9783866446236

Contactar al vendedor

Comprar nuevo

EUR 40,12
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Weiß, Benjamin
Publicado por KIT Scientific Publishing, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Nuevo Tapa blanda

Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: ABLIING23Apr0316110165116

Contactar al vendedor

Comprar nuevo

EUR 45,53
EUR 3,41 shipping
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito

Imagen de archivo

Weiß, Benjamin
Publicado por KIT Scientific Publishing, 2011
ISBN 10: 3866446233 ISBN 13: 9783866446236
Nuevo Tapa blanda

Librería: California Books, Miami, FL, Estados Unidos de America

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Condición: New. Nº de ref. del artículo: I-9783866446236

Contactar al vendedor

Comprar nuevo

EUR 51,87
Gastos de envío gratis
Se envía dentro de Estados Unidos de America

Cantidad disponible: Más de 20 disponibles

Añadir al carrito