2 Resultados para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Refinado por:
assunto:
Computer Science Logic
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
An Attribute Grammar for the Semantic Analysis of AdaUhl, Jürgen ; Drossopoulou, Sophia ; Persch, Guido ; Goos, Gerhard ; Dausmann, Manfred ; Winterstein, Georg ; Kirchgässner, Walter Winterstein, Georg ; Persch, Guido ; Uhl, Jürgen ; Goos, Gerhard ; Dausmann, Manfred ; Kirchgässner, Walter ; Drossopoulou, SophiaBerlin, Heidelberg: Springer Berlin Heidelberg 1982Texto completo disponível |
| 2 |
Material Type: Livro
|
|
The Vienna Development Method: The Meta-LanguageBjørner, Dines ; Jones, Cliff B Jones, Cliff B. ; Bjørner, DinesBerlin, Heidelberg: Springer Berlin Heidelberg 1978Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Refinar Meus Resultados
Assunto
- Analyse Sémantique (1)
- Attributierte Grammatik (1)
- Computer Languages (1)
- Computer Program Languages (1)
- Analyse Langage (1)
- Attribute (1)
- Algebra Of Logic (1)
- Aladin (1)
- Ada (1)
- Aufsatzsammlung (1)
- Addresses, Essays, Lectures (1)
-
Mais opções
Base de Dados/Biblioteca
- SpringerLink_回溯丛书_Lecture Notes in Computer Science Archive（NSTL购买） (2)
- Springer Books (2)
- Springer Books Online Archive (2)
- SpringerLINK Lecture Notes in Computer Science (2015) (2)
- SpringerLink Books Lecture Notes in Computer Science Archive (2)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (2)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 