Abstract State Machines - Theory and Applications International Workshop, ASM 2000, Monte Verit , Switzerland,March 2000. Proceedings ed. by Y. Gurevich
Material type: BookSeries: Lecture Notes in Computer SciencePublication details: New York SpringerSubject(s): DDC classification:- 629.8312
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
E-BOOKS | JRD Tata Memorial Library | 629.8312 (Browse shelf(Opens below)) | Available | E6110 |
There are no comments on this title.