1
Material Type:
Livro
Métodos formais para o desenvolvimento de programas
Paulo Sergio C . de Alencar Carlos José Pereira de Lucena ; Escola Brasileiro-Argentina de Informatica (4. 1989 Santiago Del Estero)
Buenos Aires Kapelusz 1988
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.413 AL25m ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Inteligencia artificial e engenharia de software
Carlos Jose Pereira de Lucena
Rio de Janeiro Jorge Zahar 1987
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.8 L963i ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Tese de Doutorado
Uma formalização do processo de design baseado em metáforas sua aplicação na automatização de sistemas de eventos discretos
José Reinaldo Silva 1955- Carlos Jose Pereira de Lucena
1992
Localização:
EPBC - Esc. Politécnica-Bib Central
(FT-667 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Tese de Doutorado
Sistema AP² um ambiente para a programação paralela
Selma Shin Shimizu Melnikoff 1948- Carlos José Pereira de Lucena
1982
Localização:
EPBC - Esc. Politécnica-Bib Central
(FT-110 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Análise e síntese de programas uma introducao
Carlos Jose Pereira de Lucena Escola de Computacao (2. 1981 Campinas)
Campinas Imecc 1981
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.41 L963a ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Software engineering for multi-agent systems III research issues and practical applications
Ricardo Choren; Alessandro Garcia; Carlos Lucena ; Alexander Romanovsky; International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (3. 2004.05 Edinburgh); SELMAS 2004 (3. 2004.05 Edinburgh)
Berlin u.a. Springer 2005
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.41 So232 ) e outros locais(Acessar)
This feature requires javascript