Abstract State Machines - Theory and Applications
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
Edición de la obra Abstract State Machines - Theory and Applications
| Autor | Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2003 |
| Idioma | inglés |
| ISBN-13 | 9783540445180 |
| Número de Cutter | G979a |