Le livre est actuellement en rupture de stock

Specification and verification of object oriented software components

Auteurs

Andreas Roth

Paramètres

Informatique, programmation

En savoir plus sur le livre

This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components. It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.

Achat du livre

Specification and verification of object oriented software components, Andreas Roth

Langue
Année de publication: 2006
product-detail.submit-box.info.binding: (souple)

Nous vous informerons par e-mail dès que nous l’aurons retrouvé.

Modes de paiement

Personne n'a encore évalué .Évaluer

Titre: Specification and verification of object oriented software components
Langue: Anglais
Auteurs: Andreas Roth
Éditeur: Univ.-Verl. Karlsruhe
Publié: 2006
Format: souple
ISBN10: 3866440421
ISBN13: 9783866440425
Mots clés: Informatique, programmation
Description: This work presents a flexible methodology for formally specifying and deductively verifying object-oriented components. It is based on a simple notion of program correctness. Correctness can be achieved with a novel system of proof obligations, which serve as input to a suitable theorem prover.