Refinar su búsqueda
Disponibilidad
-
Autores
- Berquist, Andrew (1)
- Berquist, Kim (1)
- Broy, Manfred (1)
- Calmet, Jacques (1)
- Dahl, Ole-Johan (1)
- Feijs, Loe M. G. (1)
- Haveraaen, Magne (1)
- Jonkers, H. B. M. (1)
- Limongelli, Carla (1)
- Maler, Oded (1)
- Merz, Stephen (1)
- Owe, Olaf (1)
- Potter, Ben (1)
- Sinclair, Jane (1)
- Spies, Katharina (1)
- Till, David (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (7)
-
Ubicaciones
-
Series
- Cambridge tracts in ... (1)
- Lecture notes in com... (5)
- LNCS (3)
- Prentice-Hall intern... (1)
-
Temas
- Análisis de algoritm... (1)
- Automatic programmin... (1)
- Computer networks (1)
- Deducción y prueba d... (1)
- Distributed systems (1)
- Hybrid systems (1)
- Lenguajes de program... (2)
- Management of comput... (1)
- Manipulación algebra... (1)
- Operating systems-Or... (1)
- Programas-Especifica... (4)
- Programming language... (2)
- Programs-Specificati... (3)
- Sistemas con propósi... (1)
- Software-Design (2)
- Software-Diseño (2)
- Software-Requeriment... (7)
- Software-Requerimien... (7)
- Special-purpose and ... (1)
- Mostrar más
- Mostrar menos