1
|
Material Type: Livro
|
|
B. Walraet
North-Holland 1989
Acesso online
|
2
|
Material Type: Livro
|
|
Fundamental concepts of programming systems
Jeffrey D. Ullman 1942-
Reading, Mass. Addison-Wesley Pub. Co. c1976
Localização:
EPBC - Esc. Politécnica-Bib Central
(004 UL4f ) e outros locais(Acessar)
|
3
|
Material Type: Livro
|
|
Software engineering mathematics formal methods demystified
Jim Woodcock Martin Loomes
London Pitman 1988
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.41 W853s ) e outros locais(Acessar)
|
4
|
Material Type: Livro
|
|
The Munich Project CIP
Friedrich Ludwig Bauer 1924-; CIP Language Group
Berlin New York Springer-Verlag c1985-c1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.183 ex.1 ) e outros locais(Acessar)
|