Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science) by Yuri Gurevich

download center

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)

Yuri Gurevich - Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)
Enter the sum