skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Programming language concepts
Material Type:
Livro
Adicionar ao Meu Espaço

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)

2
Static analysis 7th International Symposium, SAS 2000, Santa Barbara, CA, USA, June 29-July 1, 2000 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

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)

3
Understanding Z a specification language and its formal semantics
Material Type:
Livro
Adicionar ao Meu Espaço

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)

4
Reusability and software construction C and C++
Material Type:
Livro
Adicionar ao Meu Espaço

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)

5
Object-based models and languages for concurrent systems proceeding
Material Type:
Livro
Adicionar ao Meu Espaço

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)

6
Constructing language processors for little languages
Material Type:
Livro
Adicionar ao Meu Espaço

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)

7
Material Type:
Livro
Adicionar ao Meu Espaço

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)

8
ANNA, a language for annotating Ada programs reference manual
Material Type:
Livro
Adicionar ao Meu Espaço

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)

9
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
Material Type:
Livro
Adicionar ao Meu Espaço

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)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1987  (1)
  2. 1987Até1987  (2)
  3. 1988Até1989  (1)
  4. 1990Até1994  (2)
  5. Após 1994  (3)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.