Abstract state machines 2003 advances in theory and practice : 10th international workshop, ASM 2003, Taormina, Italy, March 3-7, 2003 : proceedings

ASM 2003 (2003 Taormina, Italy) E Börger 1946- (Egon); Angelo Gargantini 1969-; Elvinia Riccobene 1964-

Berlin Springer New York c2003

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.2589 )(Acessar)