Modular Specification and Verification of Object-Oriented Programs

(Sprache: Englisch)
 
 
Merken
Teilen
Merken
Teilen
 
 
This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 2583896

Buch74.89
Jetzt vorbestellen
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei

Bestellnummer: 2583896

Buch74.89
Jetzt vorbestellen
This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented...

Kommentar zu "Modular Specification and Verification of Object-Oriented Programs"

Andere Kunden kauften auch

Weitere Empfehlungen zu „Modular Specification and Verification of Object-Oriented Programs “

0 Gebrauchte Artikel zu „Modular Specification and Verification of Object-Oriented Programs“

ZustandPreisPortoZahlungVerkäuferRating
  • Kauf auf Rechnung
  • Kostenlose Rücksendung
  • Ratenzahlung möglich