
Freunden von diesem Artikel berichten:
Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science 2002 edition
Peter Muller
Preis
€ 51,49
Bestellware
Lieferdatum: ca. 15. - 25. Aug
Zu deiner iMusic Wunschliste hinzufügen
Eller
Modular Specification and Verification of Object-Oriented Programs - Lecture Notes in Computer Science 2002 edition
Peter Muller
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 |
Alle anzeigen
Weitere Titel von Peter Muller
Alle Titel von Peter Muller ansehen ( u. a. Taschenbuch , Gebundenes Buch , CD und Buch )