Descripción del título
Monografía
monografia Rebiun02157082 https://catalogo.rebiun.org/rebiun/record/Rebiun02157082 011009s2000 gw 100 0 eng d 3-540-67959-6 UR0192945 UIB (172012) ES-MaCSI. spa ACM D.3 Abstract state machines theory and applications : International Workshop, ASM 2000, Monte Verità, Switzerland, March 2000, proceedings Yuri Gurevich ... [et al.] (eds.). Berlin [etc.] Springer [2000] Berlin [etc.] Berlin [etc.] Springer X, 379 p. 24 cm X, 379 p. Lecture notes in computer science 1912 Bibliografía e índice Lenguajes de ordenador Congresos Gurevich, Yuri ed ASM 2000 Lecture notes in computer science 0302-9743 1912