Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)
|
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.
|
Other books on Computer Science
A Practical Introduction to Computer Architecture (Texts in Computer Science)
Data Flow Analysis: Theory and Practice
Computer Systems, Second Edition
A Half-Century of Automata Theory: Celebration and Inspiration
Transactions on Petri Nets and Other Models of Concurrency I (Lecture Notes in Computer Science)
Theory of Automata Formal Languages and Computation
Encyclopedia of Computer Science and Technology (Science Encyclopedia)
Computable Models of the Law: Languages, Dialogues, Games, Ontologies (Lecture Notes in Computer Science)
Multiobjective Optimization: Interactive and Evolutionary Approaches (Lecture Notes in Computer Science)
Numerical Geometry of Non-Rigid Shapes (Monographs in Computer Science)
Formal Modeling and Analysis of Timed Systems: 6th International Conference, FORMATS 2008, Saint Malo, France, September 15-17, 2008, Proceedings (Lecture Notes in Computer Science)
Developments in Language Theory: 12th International Conference, DLT 2008, Kyoto, Japan, September 16-19, 2008, Proceedings (Lecture Notes in Computer Science)
An Introduction to the Theory of Formal Languages and Automata
Sets, Logic and Maths for Computing (Undergraduate Topics in Computer Science)
Advanced Data Structures
|
|
