Abstract State Machines 2004. Advances in Theory and Practice
11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Includes supplementary material: sn.pub/extras
Autor*in
Wolf Zimmermann
Themen in »Abstract State Machines 2004. Advances in Theory and Practice«
ALGOL Processing UML abstract state machines concurrency finite cursor machines formal methods formal specification formal verification logic model checking modeling program semantics software development type theory
Stimmen zu »Abstract State Machines 2004. Advances in Theory and Practice«
Details
ISBN: 9783540247739
Verlag: Springer Berlin
Erscheinung: 27.04.2004