This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004.;The 12 revised full research papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems.
Besides theoretical results and methodological progress, applications in various fields are studied as well.
| ISBN: | 9783540220947 |
| Publication date: | 11th May 2004 |
| Author: | ASM 2004, Wolf Zimmermann, B Thalheim |
| Publisher: | Springer an imprint of Springer Berlin Heidelberg |
| Format: | Paperback |
| Pagination: | 233 pages |
| Series: | Lecture Notes in Computer Science |
| Genres: |
Mathematical theory of computation Mathematical logic Compilers and interpreters Software Engineering Mathematical foundations |
This book constitutes the refereed proceedings of the 11th International Workshop on Abstract State Machines, ASM 2004, held in Lutherstadt Wittenberg, Germany, in May 2004.;The 12 revised full research papers presented together with 4 invited papers were carefully reviewed and selected for inclusion in the book. The papers reflect state-of-the-art research and development of the abstract state machine method for the design and analysis of complex software and hardware systems.
Abstract State Machines 2004 features in the following genres: Mathematical theory of computation, Mathematical logic, Compilers and interpreters, Software Engineering, Mathematical foundations
Paperback. Not Available.
Abstract State Machines 2004 was written by ASM 2004, Wolf Zimmermann, B Thalheim and published by Springer an imprint of Springer Berlin Heidelberg
Abstract State Machines 2004 has 233 pages
Yes it is part of Lecture Notes in Computer Science series