Abstract State Machines 2004. Advances in Theory and Practice [E-Book] : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings / by Wolf Zimmermann, Bernhard Thalheim.
Thalheim, Bernhard.
Zimmermann, Wolf.
Berlin, Heidelberg : Springer Berlin Heidelberg, 2004
online resource
englisch
9783540220947
Lecture notes in computer science ; 3052
Full Text
Description not available.