Abstract state machines :  theory and applications : international workshop, ASM 2000, Monte Verita, Switzerland, March 2000 : proceedings / 
Yuri Gurevich ... [y otros.] (eds.) 
 - 379 páginas :  ilustraciones ; 
 - Lecture notes in computer science ;  1912 .
 - Lecture notes in computer science  .
<br/><br/><label>ISBN: </label>3540679596 (rustica : papel alcalino) 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Teoría de las máquinas--Congresos
<br/><br/><label>LC Class. No.: </label>QA267  / A37 
<br/><br/><label>Dewey Class. No.: </label>511.3