Treffer: VDM '87
Titel:
VDM '87 : VDM - a formal method at work ; VDM Europe symposium 1987, Brussels, Belgium, March 23 - 26, 1987 ; proceedings / VDM '87. ed. by D. Bjørner ...
Beteiligt:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 1987
Umfang:
IX, 422 Seiten : Diagramme
Format:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 252
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540176543 ; 0387176543