skip to main content
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Algebraic approaches to program semantics
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic approaches to program semantics

Ernest G. Manes 1943- Michael A Arbib

New York Springer-Verlag c1986

Localização: IME - Inst. Matemática e Estatística    (QA816 M274a e.2 )(Acessar)

2
Algebraic theory of processes
Material Type:
Livro
Adicionar ao Meu Espaço

Algebraic theory of processes

Matthew Hennessy

Cambridge, Mass MIT Press c1988

Localização: IME - Inst. Matemática e Estatística    (QA800 H515a )(Acessar)

3
Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming 25th international colloquium, ICALP'98, Aalborg, Denmark, July 13-17, 1998 : proceedings

International Colloquium on Automata, Languages and Programming (25th 1998 Aalborg, Denmark) K. G Larsen 1957- (Kim G.); Sven Skyum 1946-; G Winskel

GOOS, G, ED; HARTMANIS, J, ED; LEEUWEN, J VAN, ED LECTURE NOTES IN COMPUTER SCIENCE BERLIN, SPRINGER-VERLAG, c1985-

Berlin Springer London c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.1443 ) e outros locais(Acessar)

4
Automata, languages and programming fourth colloquium, University of Turku, Finland, July 18-22, 1977
Material Type:
Livro
Adicionar ao Meu Espaço

Automata, languages and programming fourth colloquium, University of Turku, Finland, July 18-22, 1977

Colloquium on Automata, Languages and Programming (4th 1977 Turku) Arto Salomaa; Magnus Steinby

Berlin New York Springer-Verlag 1977

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNCS v.52 ) e outros locais(Acessar)

5
Complementary definitions of programming language semantics
Material Type:
Livro
Adicionar ao Meu Espaço

Complementary definitions of programming language semantics

James Edward Donahue 1947-

Berlin New York Springer-Verlag 1976

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.42 ex.2 ) e outros locais(Acessar)

6
Coroutines a programming methodology, a language design, and an implementation
Material Type:
Livro
Adicionar ao Meu Espaço

Coroutines a programming methodology, a language design, and an implementation

Christopher D. Marlin 1952-

Berlin New York Springer-Verlag 1980

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 Lncs v.95 ex.1 ) e outros locais(Acessar)

7
The denotational description of programming languages an introduction
Material Type:
Livro
Adicionar ao Meu Espaço

The denotational description of programming languages an introduction

Michael J. C. Gordon 1948-

New York Springer-Verlag c1979

Localização: IME - Inst. Matemática e Estatística    (QA816 G664d )(Acessar)

8
Denotational semantics the Scott-Strachey approach to programming language theory
Material Type:
Livro
Adicionar ao Meu Espaço

Denotational semantics the Scott-Strachey approach to programming language theory

Joseph Stoy

Cambridge, Mass. MIT Press c1977

Localização: ICMC - Inst. Ciên. Mat. Computação    (68Q99 S893d e.2 ) e outros locais(Acessar)

9
Formal semantics and pragmatics for natural language querying
Material Type:
Livro
Adicionar ao Meu Espaço

Formal semantics and pragmatics for natural language querying

James Clifford

Cambridge New York Cambridge University Press 1990

Localização: IME - Inst. Matemática e Estatística    (QA772 C637f ) e outros locais(Acessar)

10
Formal semantics of Programming languages
Material Type:
Livro
Adicionar ao Meu Espaço

Formal semantics of Programming languages

Courant Computer Science Symposium (2nd 1970 New York) Randall Rustin

Englewood, Cliffs, N.J. Prentice-Hall 1972

Localização: EPEL - Esc. Politécnica-Bib Eng Eletr    (005.13 C833 2. ) e outros locais(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
  1. Antes de1976  (3)
  2. 1976Até1978  (4)
  3. 1979Até1986  (4)
  4. 1987Até1993  (7)
  5. Após 1993  (3)
  6. Mais opções open sub menu

Buscando em bases de dados remotas. Favor aguardar.