Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
![]() |
practical introduction to denotational semanticsL. AllisonCambridge University Press 1986Acesso online. A biblioteca também possui exemplares impressos. |
2 |
Material Type: Livro
|
![]() |
MetaSoft primer towards a metalanguage for applied denotational semanticsAndrzej BlikleBerlin New York Springer-Verlag c1987Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.288 ex.1 ) e outros locais(Acessar) |
3 |
Material Type: Livro
|
![]() |
Formal Semantics and Pragmatics for Natural Language QueryingJames CliffordCambridge Cambridge University Press 1990Acesso online. A biblioteca também possui exemplares impressos. |
4 |
Material Type: Livro
|
![]() |
Automata, languages and programming fourth colloquium, University of Turku, Finland, July 18-22, 1977Colloquium on Automata, Languages and Programming (4th 1977 Turku) Arto Salomaa; Magnus SteinbyBerlin New York Springer-Verlag 1977Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.52 ) e outros locais(Acessar) |
5 |
Material Type: Livro
|
![]() |
Formal semantics of Programming languagesCourant Computer Science Symposium (2nd 1970 New York) Randall RustinEnglewood, Cliffs, N.J. Prentice-Hall 1972Localização: EPBC - Esc. Politécnica-Bib Central (004.43 C833 2. ) e outros locais(Acessar) |
6 |
Material Type: Livro
|
![]() |
Complementary definitions of programming language semanticsJames Edward Donahue 1947-Berlin New York Springer-Verlag 1976Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.42 ex.2 ) e outros locais(Acessar) |
7 |
Material Type: Livro
|
![]() |
Programming languages and systems 7th European Symposium on Programming, ESOP '98 held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28-April 4, 1996 : proceedingsEuropean Symposium on Programming (7th 1998 Lisbon, Portugal) Chris Hankin; International Joint Conference on Theory and Practice of Software Development (1998 Lisbon, Portugal)Berlin Springer New York c1998Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1381 ) e outros locais(Acessar) |
8 |
Material Type: Livro
|
![]() |
A view of programming languagesBernard A. Galler (Bernard Aaron) 1928- Alan J PerlisReading, Mass. Addison-Wesley Pub. Co 1970Localização: ICMC - Inst. Ciên. Mat. Computação (68N15.01 G166v e.1 ) e outros locais(Acessar) |
9 |
Material Type: Livro
|
![]() |
Programming language theory and its implementation applicative and imperative paradigmsMichael J. C. Gordon 1948-New York Prentice-Hall 1988Localização: EPELM - Esc. Politécnica-Bib Eng Elet., Mec. e Naval (004.43 G657p ) e outros locais(Acessar) |
10 |
Material Type: Livro
|
![]() |
The denotational description of programming languages an introductionMichael J. C. Gordon 1948-New York Springer-Verlag c1979Localização: IME - Inst. Matemática e Estatística (QA816 G664d )(Acessar) |