Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19 24, 2000 Proceedings /

This book constitutes the thoroughly refereed post-proceedings of the International Workshop on Abstract State Machines, ASM 2000, held in Monte Verita, Switzerland in March 2000. The 12 revised full papers presented were carefully reviewed and selected from 30 submissions. Also included are an intr...

Full description

Saved in:
Bibliographic Details
Other Authors: Gurevich, Yuri, Kutter, Philipp W., Odersky, Martin, Thiele, Lothar
Format: Software Database
Language:English
Published: Berlin Springer-Verlag Berlin Heidelberg 2000.
Series:Lecture notes in computer science ; 1912,
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!

System Under Maintenance

Our Library Management System is currently under maintenance.

Holdings and item availability information is currently unavailable. Please accept our apologies for any inconvenience this may cause and contact us for further assistance:

david@pintaran.my