Modular specification and verification of object oriented programs
Berlin: Springer, [2002]
Monographie, Hochschulschrift, Gedruckte Ressource
- XIV, 292 Seiten : Illustrationen ; 24 cm
Zugriff:
Ermittle Ausleihstatus...
Titel: |
Modular specification and verification of object oriented programs
|
---|---|
Verantwortlichkeitsangabe: | Peter Müller |
Autor/in / Beteiligte Person: | Müller, Peter (1972-) |
Link: | |
Verwandtes Werk: | |
Veröffentlichung: | Berlin: Springer, [2002] |
Medientyp: | Monographie, Hochschulschrift |
Datenträgertyp: | Gedruckte Ressource |
Umfang: | XIV, 292 Seiten : Illustrationen ; 24 cm |
ISBN: | 3540431675 kart. |
Schlagwort: |
|
Sonstiges: |
|