Noch Fragen? 0800 / 33 82 637

Specification and verification of object-oriented software components

Produktform: Buch / Einband - flex.(Paperback)

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.weiterlesen

Sprache(n): Englisch

ISBN: 978-3-86644-042-5 / 978-3866440425 / 9783866440425

Verlag: KIT Scientific Publishing

Erscheinungsdatum: 12.06.2006

Seiten: 248

Autor(en): Andreas Roth

44,90 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück