Refinar su búsqueda
Disponibilidad
-
Autores
- Alur, Rajeev (1)
- Astesiano, Egidio (1)
- Ball, Thomas (1)
- Brinksma, Ed (1)
- Grumberg, Orna (1)
- Halstead, jr., Rober... (1)
- Haveraaen, Magne (1)
- Henzinger, Thomas A. (1)
- Ito, Takayasu (1)
- Jones, Robert Brent (1)
- Margaria, Tiziana (1)
- Meijer, Erik (2)
- North, Stephen (1)
- Owe, Olaf (1)
- Papazoglou, Michael ... (1)
- Queinnec, Christian (1)
- Reggio, Gianna (1)
- Sheard, Tim (1)
- Steffen, Bernhard (1)
- Tarlecki, Andrzej (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (14)
-
Ubicaciones
-
Series
- Lecture notes in com... (14)
- LNCS (11)
-
Temas
- Applicative programm... (2)
- Asistencia de diseño... (3)
- Deducción y prueba d... (3)
- Deduction and theore... (3)
- Design aids (3)
- Distributed systems (3)
- Logics and meanings ... (5)
- Lógica y significado... (5)
- Program verification (5)
- Programación aplicat... (2)
- Programming language... (2)
- Semantics of program... (2)
- Sistemas con propósi... (2)
- Software-Design (3)
- Software-Diseño (3)
- Software-Herramienta... (12)
- Software-Requerimien... (3)
- Software-Tools and t... (10)
- Special-purpose and ... (2)
- Verificación de prog... (5)
- Mostrar más
- Mostrar menos