Refinar su búsqueda
Disponibilidad
-
Autores
- Alur, Rajeev (1)
- Blumenthal, Brad (1)
- Bouajjani, Ahmed (1)
- Brinksma, Ed (1)
- Fridlender, Daniel E... (1)
- Gornostaev, Juri (1)
- Grumberg, Orna (1)
- Halstead, jr., Rober... (1)
- Haveraaen, Magne (1)
- Lanfri, Mario Albert... (1)
- Lugo, Jorge Osmar (1)
- Meijer, Erik (2)
- Mercado, Diego (1)
- Owe, Olaf (1)
- Papazoglou, Michael ... (1)
- Peralta, Gonzalo Seb... (1)
- Scott, Kendall (1)
- Tarlecki, Andrzej (1)
- Villalba, Martín Fed... (1)
- Weise, Dirk (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (21)
- Magister (2)
- Trabajo Especial de Grado (2)
- Trabajo integrador (2)
-
Ubicaciones
-
Series
- Lecture notes in com... (18)
- LNCS (14)
- The Addison-Wesley o... (1)
-
Temas
- Asistencia de diseño... (4)
- Deducción y prueba d... (3)
- Deduction and theore... (3)
- Design aids (5)
- Distributed systems (3)
- Ingeniería de softwa... (3)
- Logics and meanings ... (6)
- Lógica y significado... (6)
- Mathematical logic (4)
- Program verification (7)
- Programas-Especifica... (3)
- Programs-Specificati... (3)
- Software engineering (3)
- Software-Design (3)
- Software-Herramienta... (12)
- Software-Requerimien... (3)
- Software-Tools and t... (10)
- Special-purpose and ... (3)
- Tools and techniques (3)
- Verificación de prog... (6)
- Mostrar más
- Mostrar menos