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
|
