
Abstract State Machines - Theory and Applications
International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)
Edición de la obra Abstract state machines
| Autor | Yuri Gurevich |
|---|---|
| Editorial | Springer |
| Fecha de publicación | October 2, 2000 |
| Idioma | inglés |
| Páginas | 379 |
| Formato | Paperback |
| ISBN-13 | 9783540679592 |
| ISBN-10 | 3540679596 |
| OCLC | 44841634 |
| LCCN | 00064121 |
| Número de Cutter |