TY  - BOOK
AU  - Gurevich,Yuri
TI  - Abstract state machines: theory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 2000 : proceedings 
T2  - Lecture notes in computer science
SN  - 3540679596 (rustica : papel alcalino)
AV  - QA267 A37
U1  - 511.3 21
PY  - 2000///
CY  - Berlin, New York
PB  - Springer Verlag
KW  - Teoría de las máquinas
KW  - Congresos
ER  -