Das Buch ist derzeit nicht auf Lager
Parameter
Mehr zum Buch
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.
Buchkauf
Modular specification and verification of object oriented programs, Péter Müller
- Sprache
- Erscheinungsdatum
- 2002
Wir benachrichtigen dich per E-Mail.
Lieferung
- Gratis Versand in ganz Österreich
Zahlungsmethoden
Keiner hat bisher bewertet.