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
Mostrar Somente
Refinado por:
assunto:
Manna
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Livro
|
|
Verification theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthdayNachum Dershowitz; Zohar MannaBerlin Springer-Verlag New York c2003Acesso online. A biblioteca também possui exemplares impressos. |
| 2 |
Material Type: Livro
|
|
Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasion of His 64th BirthdayDershowitz, Nachum Dershowitz, NachumBerlin, Heidelberg: Springer Berlin Heidelberg 2003Texto completo disponível |
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
Refinar Meus Resultados
Assunto
- Computer Software Verification (1)
- Computer Science (1)
- Computation By Abstract Devices (1)
- Programmierung (1)
- Computer Programs (1)
- Verification (1)
- Verifikation (1)
- Programmierlogik (1)
- Inteligência Artificial (1)
- Programmierlogik (1)
- Model-Checking (1)
- Computers (1)
- Manna, Zohar (1)
- Computers, Special Purpose (1)
- Theoretische Informatik (1)
- Logics And Meanings Of Programs (1)
- Theoretische Informatik (1)
- Programmierung (1)
- Computer Logic (1)
- Computer Software -- Verification (1)
- Logic Design (1)
- Compilers (1)
- Verification (1)
- Verifikation (1)
- Mathematical Logic And Formal Languages (1)
- E-Book Springer Lncs (1)
- Logiciels (1)
-
Mais opções
Autor/Criador
- Dershowitz, N (1)
- Manna, Z (1)
-
Mais opções
Biblioteca
Base de Dados/Biblioteca
- Springer Books (1)
- Springer Books Online Archive (1)
- SpringerLINK Lecture Notes in Computer Science (2015) (1)
- SpringerLink Books Lecture Notes in Computer Science Archive (1)
- Springer Nature - Springer Lecture Notes in Computer Science eBooks (1)
- Lecture Notes in Computer Science Archive (through to 1996) (1)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 