Refinar su búsqueda
Disponibilidad
-
Autores
-
Tipos de ítem
- Libro (1)
- Trabajo Especial de Grado (1)
-
Ubicaciones
-
Series
- Lecture notes in com... (1)
- LNCS (1)
-
Temas
- Computer-aided engin... (1)
- Control structure pe... (1)
- Deduction and theore... (1)
- Design aids (1)
- Hardware-Reliability... (1)
- Ingeniería asistida ... (1)
- Integrated circuits-... (1)
- Integrated circuits-... (1)
- Logic design-Reliabi... (1)
- Mathematical logic-C... (1)
- Microprogram design ... (1)
- Microprogram design ... (1)
- Perfomance analysis ... (1)
- Program verification (1)
- Semantics of program... (1)
- Semántica de lenguaj... (1)
- Specifying and verif... (1)
- Mostrar más
- Mostrar menos