Artículos relacionados a Deductive Verification of Object-Oriented Software:...
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction - Tapa blanda
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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
- EditorialKIT Scientific Publishing
- Año de publicación2011
- ISBN 10 3866446233
- ISBN 13 9783866446236
- EncuadernaciónTapa blanda
- IdiomaInglés
- Número de páginas292
- Contacto del fabricanteno disponible
Comprar nuevo
Ver este artículo
EUR 38,29
EUR 4,72 gastos de envío desde Reino Unido a España
Destinos, gastos y plazos de envíoResultados de la búsqueda para Deductive Verification of Object-Oriented Software:...
Imagen de archivo
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Publicado por
KIT Scientific Publishing, 2011
ISBN 10: 3866446233
ISBN 13: 9783866446236
Nuevo
Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783866446236_new
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Deductive Verification of ObjectOriented Software Dynamic Frames, Dynamic Logic and Predicate Abstraction
Publicado por
Karlsruher Institut f?r Technologie, 2014
ISBN 10: 3866446233
ISBN 13: 9783866446236
Nuevo
PAP
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
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
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Publicado por
Karlsruher Institut Für Technologie Feb 2011, 2011
ISBN 10: 3866446233
ISBN 13: 9783866446236
Nuevo
Taschenbuch
Librerí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 -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
Cantidad disponible: 2 disponibles
Imagen de archivo
Deductive Verification of ObjectOriented Software Dynamic Frames, Dynamic Logic and Predicate Abstraction
Publicado por
Karlsruher Institut f?r Technologie, 2014
ISBN 10: 3866446233
ISBN 13: 9783866446236
Nuevo
PAP
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
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
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Publicado por
Karlsruher Institut Für Technologie, 2011
ISBN 10: 3866446233
ISBN 13: 9783866446236
Nuevo
Taschenbuch
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 - 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
Cantidad disponible: 1 disponibles
Imagen de archivo
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Publicado por
Karlsruher Institut fur Technologie 2014-08, 2014
ISBN 10: 3866446233
ISBN 13: 9783866446236
Nuevo
PF
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783866446236
Cantidad disponible: 10 disponibles
Imagen del vendedor
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Publicado por
KIT Scientific Publishing, 2014
ISBN 10: 3866446233
ISBN 13: 9783866446236
Nuevo
Tapa blanda
Librerí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. 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
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
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
Condición: New. Nº de ref. del artículo: I-9783866446236
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Publicado por
Karlsruher Institut Für Technologie, Karlsruher Institut Für Technologie Aug 2014, 2014
ISBN 10: 3866446233
ISBN 13: 9783866446236
Nuevo
Taschenbuch
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
Calificación del vendedor: 5 de 5 estrellas
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
Cantidad disponible: 2 disponibles
Imagen del vendedor
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Publicado por
Karlsruher Institut für Technologie, 2014
ISBN 10: 3866446233
ISBN 13: 9783866446236
Nuevo
Taschenbuch
Librería: preigu, Osnabrück, Alemania
Calificación del vendedor: 5 de 5 estrellas
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
Cantidad disponible: 5 disponibles