Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 19-24, 2000 : proceedings
Yuri Gurevich ... [et al.] (eds.)
Bok Engelsk 2000 ASM 2000
Utgitt | Berlin : Springer , c2000
|
---|---|
Omfang | X, 379 s. : ill.
|
Emner | |
ISBN | 3540679596
|