1
|
Material Type: Livro
|
|
Computation theory and logic
E Börger 1946- (Egon)
Berlin New York Springer-Verlag c1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.270 ex.1 ) e outros locais(Acessar)
|
2
|
Material Type: Livro
|
|
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)
|