ENGLISH

Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings

By Martin Odersky , Yuri Gurevich , Egon Börger (auth.) , Philipp W. Kutter , Lothar Thiele (eds.)

Book information

Publisher
Springer Berlin Heidelberg
Year
2000
ISBN
3540679596, 9783540679592
DOI
10.1007/3-540-44518-8
Open Library ID
OL9581067M
Language
english
Format
PDF
Filesize
4 MB (3983455 bytes)
Series
Lecture Notes in Computer Science 1912
Edition
1
Pages
X, 386 p.\390
Topic
Technique
Library
Kolxo3
Scanned
yes
Time added
2010-02-04 11:10:02

Description

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.

Similar books