Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings / [edited by] Yuri Gurevich, Philipp W. Kutter, Martin Odersky, ... [et al.]
Date : 20
Type : Livre / Book
Langue / Language : anglais / English
ISBN : 978-3-540-44518-0
Génie logiciel
Informatique
Langages de programmation
Théorie des automates mathématiques
Logique mathématique
Classification Dewey : 004
Classification Dewey : 511.3
Kutter, Philipp W. (Directeur de publication / publishing director)
Collection : Lecture notes in computer science [Ressource électronique] / Berlin : Springer , [200.]-
Relation : Abstract state machines : theory and applications : international workshop, ASM 2000, Monte Verità, Switzerland, March 2000 : proceedings / Yuri Gurevich, Philipp W. Kutter, Martin Odersky, ... [et al.] (eds.) / New York : Springer
Accès en ligne / online access
Accès en ligne / online access