Abstract state machines - theory and applications: international workshop, asm 2000 monte verita, switzerland, march 19-24, 2000 proceedings
Auteur :
Gurevich, Yuri
ISBN :
9783540679592
Date de publication :
23 août 2000
Dimensions :
23,4 x 15,6 x 2,0 cm
Poids :
605 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This text presents papaers from the post-proceedings of the International Workshop on Abstract State Machines, ASM 2000. The 12 papers present an introductory overview, two reports on industrial ASM applications, research and applications of abstract state machachines.