Abstract State Machines 2004. Advances in Theory and Practice
| ISBN: | 9783540220947 |
|---|---|
| Sprache: | Englisch |
| Seitenzahl: | 240 |
| Produktart: | Kartoniert / Broschiert |
| Herausgeber: | Thalheim, Bernhard Zimmermann, Wolf |
| Verlag: | Springer Berlin |
| Veröffentlicht: | 11.05.2004 |
| Untertitel: | 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings |
| Schlagworte: | ALGOL Processing UML abstract state machines concurrency finite cursor machines formal methods formal specification formal verification logic |