2 Resultados para Acervo Físico
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
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Recent trends in algebraic development techniques 17th international workshop, WADT 2004, Barcelona, Spain, March 27-29 2004 : revised selected papersWADT 2004 (2004 Barcelona, Spain) Jos e Luiz Fiadeiro 1961; Peter Mosses; F Orejas (Fernando)Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
Formal methods in software and systems modeling essays dedicated to Hartmut Ehrig on the occasion of his 60th birthdayUgo Montanari; F Orejas (Fernando); Grzegorz Rozenberg; Gabriele Taentzer; Hartmut Ehrig; H.-J Kreowski (Hans-J org)Berlin Springer New York c2005Acesso online. A biblioteca também possui exemplares impressos. |
Personalize Seus Resultados
Refine Search Results
Refinar Meus Resultados
Assunto
- Algebraische Spezifikation (1)
- Designs (Configurações Combinatórias) (1)
- Formale Methode (1)
- Transformação De Programas (Congressos) (1)
- Syst Emes Informatiques (1)
- Técnicas De Programação (Congressos) (1)
- Softwareentwicklung (1)
- Systemmodell (1)
- M Ethode Formelle (1)
- Graphersetzungssystem (1)
- Conception De Logiciels (1)
- Configurações Combinatórias (1)
- Transformation De Graphes (1)
- Informatique (1)
- Conception De Syst Emes (1)
- Computer Systems (1)
- M Ethodes Formelles (Informatique) (1)
- Formal Methods (Computer Science) (1)
-
Mais opções
Autor/Criador
- Rozenberg, G (1)
- Kreowski, H (1)
- Fiadeiro, J (1)
- Mosses, P (1)
- Montanari, U (1)
- Ehrig, H (1)
- Taentzer, G (1)
- WADT 2004 (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 