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:
Gurevich, Yuri (Herausgeber) 
Körper­schaft:
ASM (2000 : Monte Verità)
Veröffent­licht:
Berlin : Springer, 2000
Umfang:
X, 379 Seiten : Illustrationen, Diagramme ; 24 cm
Publikationstyp:
Buch
Sprache:
Englisch
Schriftenreihe/­Mehrbändiges Werk:
Lecture notes in computer science ; 1912
alle Bände anzeigen
Anmerkungen:
Literaturangaben
RVK-Notation:
SS 1800 SS 4000
Schlagworte:
ISBN:
3540679596

Zusatz-Informationen

Zusatz-Funktionen