Opening book details…
Can I read Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings on EtoBox?
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings by Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.) is a nonfiction available to read on EtoBox.
What is Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings about?
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.
Who reads Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verità , Switzerland, March 19–24, 2000 Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)
- Publisher
- Springer Berlin Heidelberg : Imprint : Springer
- Published
- 2000
- Language
- EN
- ISBN
- 9788354044512
- Category
- nonfiction
- Subjects
- Engineering, Mathematics, Management
More by Egon Börger (auth.), Yuri Gurevich, Philipp W. Kutter, Martin Odersky, Lothar Thiele (eds.)
Similar books
- Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science) — Yuri Gurevich (auth.), Wolf Zimmermann, Bernhard Thalheim (2004)
- Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (Lecture Notes in Computer Science, 2589) — Antonia Bertolino (auth.), Egon Börger, Angelo Gargantini, Elvinia Riccobene (2003)
- Ferroelectric Ceramics: Tutorial Reviews, Theory, Processing, and Applications (Monte Verita) — L. Eric Cross (auth.), Prof. N. Setter, Dr. E. L. Colla (1993)
- IGIS '94: Geographic Information Systems: International Workshop on Advanced Research in Geographic Information Systems Monte Verità , Ascona, Switzerland February 28 – March 4, 1994 Proceedings — E. Apolloni, F. Arcieri, M. Talamo (auth.), Jürg Nievergelt, Thomas Roos, Hans-Jörg Schek, Peter Widmayer (1994)
- Automated Deduction in Geometry: Third International Workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000, Revised Papers (Lecture Notes in Computer ... / Lecture Notes in Artificial Intelligence) — Christoph M. Hoffmann, Bo Yuan (auth.), Jürgen Richter-Gebert, Dongming Wang (2001)
- Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings (Lecture Notes in Computer Science, 1794) — Alexander Bockmayr, Friedrich Eisenbrand (auth.), Hélène Kirchner, Christophe Ringeissen (2000)