1
Material Type:
Livro
Programming language concepts
Carlo Ghezzi Mehdi Jazayeri
New York Wiley c1987
Localização:
EPBC - Esc. Politécnica-Bib Central
(004.43 G343p2 ) e outros locais(Acessar)
This feature requires javascript
2
Material Type:
Livro
Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
International Static Analysis Symposium (7th 2000 Santa Barbara, Calif.) Jens Palsberg
Berlin Springer New York c2000
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1824 ) (Acessar)
This feature requires javascript
3
Material Type:
Livro
Understanding Z a specification language and its formal semantics
J. M. Spivey
Cambridge Cambridgeshire New York Cambridge University Press 1988
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68N30.05 S761u e.1 ) e outros locais(Acessar)
This feature requires javascript
4
Material Type:
Livro
Reusability and software construction C and C++
Jerry D. Smith 1951-
New York Wiley c1990
Localização:
IME - Inst. Matemática e Estatística
(QA752 S651r e.2 ) (Acessar)
This feature requires javascript
5
Material Type:
Livro
Object-based models and languages for concurrent systems proceeding
European Conference on Object-Oriented Programming (1994 : Bologna, It) Paolo Ciancarini; Akinori Yonezawa; Oscar Nierstrasz; Workshop on Models and Languages for Coordination of Parallelism and Distribution (1994 : Bologna, It)
Berlin Springer 1995
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.924 ) e outros locais(Acessar)
This feature requires javascript
6
Material Type:
Livro
Constructing language processors for little languages
Randy M. Kaplan 1955-
New York Wiley c1994
Localização:
FCFRP - Fac. Ciên. Farm. Ribeirão Preto
(DQ 6642 ) (Acessar)
This feature requires javascript
7
Material Type:
Livro
Language design and programming methodology proceedings
Symposium on Language Design and Programming Methodology, Sydney, 1979 Jeffrey M Tobias
Berlin Springer 1980
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.79 e.1 ) e outros locais(Acessar)
This feature requires javascript
8
Material Type:
Livro
ANNA, a language for annotating Ada programs reference manual
David C Luckham
Berlin New York Springer-Verlag c1987
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 Lncs v.260 ex.1 ) e outros locais(Acessar)
This feature requires javascript
9
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