Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science - Peter Muller - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540431671 - 23. Januar 2002
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

Peter Muller
Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science 2002 edition

Preis
SFr. 44,99
exkl. MwSt.

Bestellware

Lieferdatum: ca. 7. - 15. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen

Two aspects are crucial to widen the application area of formal methods: - Formal speci?cation techniques have to be smoothly integrated into the software and program development process. Starting from these considerations, Peter Muller has developed new te- niques for the formal speci?cation and veri?cation of object-oriented so- ware.

298 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 23. Januar 2002
ISBN13 9783540431671
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 298
Maße 155 × 235 × 16 mm   ·   439 g
Sprache Englisch  

Weitere Titel von Peter Muller

Alle anzeigen

Alle Titel von Peter Muller ansehen ( u. a. Taschenbuch , Gebundenes Buch , Buch und CD )