Refinar su búsqueda
Disponibilidad
-
Autores
- Broda, Krysia (1)
- Cohen, Edwards (1)
- Dijkstra, Edsger Wyb... (1)
- Eisenbach, Susan (1)
- Feijs, Loe M. G. (1)
- Janicki, Ryszard (1)
- Jonkers, H. B. M. (1)
- Khoshnevisan, Hessam (1)
- Lauer, Peter E. (1)
- Manna, Zohar (1)
- Mauw, S. (1)
- Partsch, Helmut A. (1)
- Schmidt, Günter (1)
- Simon, Axel (1)
- Ströhlein, Thomas (1)
- Veltink, G. J. (1)
- Vickers, Steven (1)
- Waldinger, Richard (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (10)
-
Ubicaciones
- Sección Computación (10)
-
Series
-
Temas
- Automatic programmin... (3)
- Discrete mathematics (1)
- Diseño lógico (1)
- Herramientas y técni... (1)
- Logic design (1)
- Matemática discreta (1)
- Programación automát... (3)
- Programas-Especifica... (10)
- Programas-Verificaci... (6)
- Programs-Specificati... (10)
- Programs-Verificatio... (6)
- Semantics of program... (1)
- Semántica de lenguaj... (1)
- Sistemas (1)
- Software-Requeriment... (1)
- Software-Requerimien... (1)
- Systems (1)
- Tools and techniques (1)
- Mostrar más
- Mostrar menos