Abstract state machines 2003 : advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings

This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in th...

Fuld beskrivelse

Bibliografiske detaljer

Institution som forfatter:	Abstract State Machines. International workshop :Taormina, IT
Andre forfattere:	Börger, Egon, 1946- (Directeur de la publication), Gargantini, Angelo (Directeur de la publication), Riccobene, Elvinia (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 2589
Fag:	Génie logiciel Informatique Langages de programmation Automates mathématiques, Théorie des Logique symbolique et mathématique Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Abstract state machines 2003, advances in theory and practice, 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003, proceedings, Egon Börger, Angelo Gargantini, Elvinia Riccobene (eds.), 2003, Berlin, Springer, 1 vol. (xi-424 p.), Lecture notes in computer science, 3-540-00624-9 • Abstract State Machines 2003: Advances in Theory and Practice, Texte imprimé, 9783662186541