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 :

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

Gurevich, Yuri (1940-....) (Directeur de publication / publishing director)

Kutter, Philipp W. (Directeur de publication / publishing director)

Odersky, Martin (1958-....) (Directeur de publication / publishing director)

Thiele, Lothar (19..-....) (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