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...
Enregistré dans:
| Autres auteurs: | , , , |
|---|---|
| Format: | Logiciel Base de données |
| Langue: | English |
| Publié: |
Berlin
Springer-Verlag Berlin Heidelberg
2000.
|
| Collection: | Lecture notes in computer science ;
1912, |
| Sujets: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| Résumé: | 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 introductory overview, two reports on industrial ASM applications, as well as six contributions based on invited talks. All in all, the volume competently presents the state of the art in research and applications of abstract state machines. |
|---|---|
| Description matérielle: | 1 CD-ROM 12 cm |
| Bibliographie: | With bibliogr. references and index. |
| ISBN: | 9783540445180 (electronic bk.) 3540445188 (electronic bk.) |
| ISSN: | 0302-9743 |