Abstract State Machines - Theory and Applications International Workshop, ASM 2000 Monte Verità, Switzerland, March 19-24, 2000 Proceedings / edited by Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele.
Material type:
- 9783540445180
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
ICCBS Digital Library | Not for loan |