Roth | Specification and verification of object-oriented software components | Buch | 978-3-86644-042-5 | www.sack.de

Buch, Englisch, 248 Seiten, PB, Format (B × H): 148 mm x 210 mm, Gewicht: 350 g

Roth

Specification and verification of object-oriented software components


Erscheinungsjahr 2006
ISBN: 978-3-86644-042-5
Verlag: KIT Scientific Publishing

Buch, Englisch, 248 Seiten, PB, Format (B × H): 148 mm x 210 mm, Gewicht: 350 g

ISBN: 978-3-86644-042-5
Verlag: KIT Scientific Publishing

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.

Roth Specification and verification of object-oriented software components jetzt bestellen!

Autoren/Hrsg.

Roth, Andreas
Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.