Articles liés à Deductive Verification of Object-Oriented Software:...

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

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

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.

  • ÉditeurKIT Scientific Publishing
  • Date d'édition2011
  • ISBN 10 3866446233
  • ISBN 13 9783866446236
  • ReliureBroché
  • Langueanglais
  • Nombre de pages292
  • Coordonnées du fabricantnon disponible

Acheter neuf

Afficher cet article
EUR 32,50

Autre devise

EUR 9,70 expédition depuis Allemagne vers France

Destinations, frais et délais

Résultats de recherche pour Deductive Verification of Object-Oriented Software:...

Image fournie par le vendeur

Weiß, Benjamin
Edité par KIT Scientific Publishing, 2014
ISBN 10 : 3866446233 ISBN 13 : 9783866446236
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 32,50
Autre devise
Frais de port : EUR 9,70
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Weiß, Benjamin
Edité par KIT Scientific Publishing, 2011
ISBN 10 : 3866446233 ISBN 13 : 9783866446236
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783866446236_new

Contacter le vendeur

Acheter neuf

EUR 38,30
Autre devise
Frais de port : EUR 4,74
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

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

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 32,50
Autre devise
Frais de port : EUR 10,99
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Benjamin Weiß
ISBN 10 : 3866446233 ISBN 13 : 9783866446236
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 32,50
Autre devise
Frais de port : EUR 11
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Weiß, Benjamin
ISBN 10 : 3866446233 ISBN 13 : 9783866446236
Neuf PAP
impression à la demande

Vendeur : PBShop.store US, Wood Dale, IL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 42,99
Autre devise
Frais de port : EUR 0,75
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Wei, Benjamin
ISBN 10 : 3866446233 ISBN 13 : 9783866446236
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783866446236

Contacter le vendeur

Acheter neuf

EUR 33,23
Autre devise
Frais de port : EUR 11,26
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Weiß, Benjamin
ISBN 10 : 3866446233 ISBN 13 : 9783866446236
Neuf PAP
impression à la demande

Vendeur : PBShop.store UK, Fairford, GLOS, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 38,97
Autre devise
Frais de port : EUR 5,73
De Royaume-Uni vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

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

Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 32,50
Autre devise
Frais de port : EUR 15
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Weiß, Benjamin
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 Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783866446236

Contacter le vendeur

Acheter neuf

EUR 53,27
Autre devise
Frais de port : EUR 7,01
De Etats-Unis vers France
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Benjamin Weiß
ISBN 10 : 3866446233 ISBN 13 : 9783866446236
Neuf Taschenbuch
impression à la demande

Vendeur : preigu, Osnabrück, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

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

Contacter le vendeur

Acheter neuf

EUR 32,50
Autre devise
Frais de port : EUR 45
De Allemagne vers France
Destinations, frais et délais

Quantité disponible : 5 disponible(s)

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre