Abstract state machines 2004 advances in theory and practice : 11th international workshop, ASM 2004 Lutherstadt Wittenberg, Germany, May 24-28, 2004 : proceedings
ASM 2004 (2004 Wittenberg, Saxony-Anhalt, Germany) Wolf Zimmermann; B Thalheim (Bernhard) 1952
Berlin Springer New York c2004
Acesso online. A biblioteca também possui exemplares impressos.