Treffer: Modular specification and verification of object-oriented programs
Titel:
Beteiligt:
Veröffentlicht:
Berlin [u.a.] : Springer, 2002
Umfang:
XIV, 292 S. : graph. Darst. ; 24 cm
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 2262
alle Bände anzeigen
alle Bände anzeigen
Schlagworte:
ISBN:
3540431675