Das Buch ist derzeit nicht auf Lager

Specification and verification of object oriented software components

Autoren

Andreas Roth

Parameter

Informatik & Programmierung

Mehr zum Buch

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.

Buchkauf

Specification and verification of object oriented software components, Andreas Roth

Sprache
Erscheinungsdatum: 2006
product-detail.submit-box.info.binding: (Paperback)

Wir benachrichtigen dich per E-Mail.

Lieferung

Zahlungsmethoden

Keiner hat bisher bewertet.Abgeben

Titel: Specification and verification of object oriented software components
Sprache: Englisch
Autor*innen: Andreas Roth
Verlag: Univ.-Verl. Karlsruhe
Erscheinungsdatum: 2006
Einband: Paperback
ISBN10: 3866440421
ISBN13: 9783866440425
Schlagwörter: Informatik & Programmierung
Beschreibung: 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.