Refinar su búsqueda
Disponibilidad
-
Autores
- Camilleri, Albert (1)
- Jones, Neil D. (1)
- Müller-Olm, Markus (1)
- Nipkow, Tobias (1)
- Paulson, Lawrence C. (1)
- Srivas, Mandayam (1)
- Wenzel, Markus (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (3)
-
Ubicaciones
-
Series
- Lecture notes in com... (2)
- Lecture Notes in Com... (1)
- LNCS (2)
-
Temas
- Automatic theorem pr... (1)
- Computer-aided engin... (1)
- Control structure pe... (1)
- Deduction and theore... (1)
- Deducton and theorem... (1)
- Design aids (1)
- Formal definitions a... (2)
- Hardware-Reliability... (1)
- Integrated circuits-... (1)
- Integrated circuits-... (1)
- Logic design-Reliabi... (1)
- Mathematical logic (1)
- Mathematical logic-C... (1)
- Microprogram design ... (1)
- Perfomance analysis ... (1)
- Program verification (2)
- Reasoning about prog... (1)
- Semantics of program... (1)
- Specifying and verif... (2)
- Specifying and verif... (1)
- Mostrar más
- Mostrar menos