Treffer: Abstract state machines
Titel:
Abstract state machines : theory and applications ; international workshop ; proceedings / ASM 2000, Monte Verità, Switzerland, March 19 - 24, 2000. Yuri Gurevich ... (ed.)
Verantwortlich:
Körperschaft:
Veröffentlicht:
Berlin : Springer, 2000
Umfang:
X, 379 Seiten : Illustrationen, Diagramme ; 24 cm
Publikationstyp:
Sprache:
Englisch
Schriftenreihe/Mehrbändiges Werk:
Lecture notes in computer science ; 1912
alle Bände anzeigen
alle Bände anzeigen
Anmerkungen:
Literaturangaben
Schlagworte:
ISBN:
3540679596