Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Deductive Verification of Object-Oriented Software:...
Image d'archives
Deductive Verification of ObjectOriented Software Dynamic Frames, Dynamic Logic and Predicate Abstraction
Edité par
Karlsruher Institut f?r Technologie, 2014
ISBN 10 : 3866446233
ISBN 13 : 9783866446236
Neuf
PAP
Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. N° de réf. du vendeur L0-9783866446236
Acheter neuf
EUR 40,02
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Deductive Verification of ObjectOriented Software Dynamic Frames, Dynamic Logic and Predicate Abstraction
Edité par
Karlsruher Institut f?r Technologie, 2014
ISBN 10 : 3866446233
ISBN 13 : 9783866446236
Neuf
PAP
Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PAP. Etat : 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 réf. du vendeur L0-9783866446236
Acheter neuf
EUR 36,47
EUR 5,72 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Edité par
KIT Scientific Publishing, 2011
ISBN 10 : 3866446233
ISBN 13 : 9783866446236
Neuf
Couverture souple
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Apr0316110165116
Acheter neuf
EUR 45,42
EUR 3,40 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Edité par
Karlsruher Institut f�r Technologie 2014-08, 2014
ISBN 10 : 3866446233
ISBN 13 : 9783866446236
Neuf
PF
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783866446236
Acheter neuf
EUR 33
EUR 17,64 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image d'archives
Deductive Verification of Object-Oriented Software: Dynamic Frames, Dynamic Logic and Predicate Abstraction
Edité par
KIT Scientific Publishing, 2011
ISBN 10 : 3866446233
ISBN 13 : 9783866446236
Neuf
Couverture souple
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783866446236
Acheter neuf
EUR 51,75
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Edité par
Karlsruher Institut Für Technologie Feb 2011, 2011
ISBN 10 : 3866446233
ISBN 13 : 9783866446236
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783866446236
Acheter neuf
EUR 32,50
EUR 23 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Edité par
KIT Scientific Publishing, 2014
ISBN 10 : 3866446233
ISBN 13 : 9783866446236
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : 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 réf. du vendeur 5587966
Acheter neuf
EUR 32,50
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
ISBN 10 : 3866446233
ISBN 13 : 9783866446236
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783866446236
Acheter neuf
EUR 32,50
EUR 60 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Edité par
Karlsruher Institut Für Technologie, 2011
ISBN 10 : 3866446233
ISBN 13 : 9783866446236
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 9783866446236
Acheter neuf
EUR 32,50
EUR 62,50 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Edité par
Karlsruher Institut für Technologie, 2014
ISBN 10 : 3866446233
ISBN 13 : 9783866446236
Neuf
Taschenbuch
Vendeur : preigu, Osnabrück, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 réf. du vendeur 105170309
Acheter neuf
EUR 32,50
EUR 70 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 5 disponible(s)