1
Material Type:
Livro
Recent trends in algebraic development techniques 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers
WADT '98 (1998 Lisbon, Portugal) José Luiz Fiadeiro 1961-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1589 e.1 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
ECOOP'99 object-oriented programming : 13th European Conference, Lisbon, Portugal, June 14-18, 1999 : proceedings
European Conference on Object-Oriented Programming (13th 1999 Lisbon, Portugal) Rachid Guerraoui
Goos, G., ed.; Hartmanis, J., ed.; Leeuwen, J. Van, ed Lecture notes in computer science Berlin : Springer-Verlag, c1985-
Berlin Springer New York c1999
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1628 ) e outros locais(Acessar)
This feature requires javascript
3
Material Type:
Livro
Object-oriented software construction
Bertrand Meyer 1950-
New York Prentice-Hall c1988
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.045 M575o ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
ECOOP '93, object-oriented programming, 7th European conference, Kaiserslautern, Germany, July 26-30, 1993 proceedings
European Conference on Object-Oriented Programming (7th 1993 Kaiserlautern, Germany) Oscar Marius Nierstrasz 1957-
Berlin New York Springer-Verlag c1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.707 e.1 ) e outros locais(Acessar)
This feature requires javascript
5
Material Type:
Livro
Principles and practice of constraint programming second International Workshop, PPCP'94, Rosario, Orcas Island, WA, USA, may 2-4, 1994 : proceedings
Workshop on the Principles and Practice of Constraint Programming (2nd 1994 Rosario, Wash.) Alan Borning 1950- (Alan H.)
Berlin New York Springer-Verlag c1994
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.874 e.1 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Introduction to real-time software design
S. T. Allworth
London New York Macmillan 1981
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.031.43 AL58i ) (Acessar)
This feature requires javascript
7
Material Type:
Livro
The science of programming
David Gries 1939-
New York Springer-Verlag c1981
Localização:
EACH - Esc. Artes, Ciências e Humanidades
(005.1 G848s e.3 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
Foundations of software science and computation structures Third International Conference, FOSSACS 2000, held as part of the Joint European Conference on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings
FOSSACS 2000 (2000 Berlin, Germany) Jerzy Tiuryn; ETAPS 2000 (2000 Berlin, Germany)
Berlin Springer New York c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1784 ) e outros locais(Acessar)
This feature requires javascript
9
Material Type:
Livro
Formal program development IFIP TC2/WG 2.1 state-of-the-art report
Bernhard Möller 1953-; Helmut A Partsch 1950-; Steve Schuman 1950-; IFIP TC 2/WG 2.1
Berlin New York Springer-Verlag c1993
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.755 e.1 ) e outros locais(Acessar)
This feature requires javascript
10
Material Type:
Livro
Optimal interprocedural program optimization a new framework and its application
Jens Knoop
Berlin Springer New York c1998
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1428 ) e outros locais(Acessar)
This feature requires javascript