Refinar su búsqueda
Disponibilidad
-
Autores
- Bertot, Yves (1)
- Brady, Edwin (1)
- Castéran, Pierre (1)
- Ehrig, Hartmut (1)
- Felleisen, Matthias (1)
- Findler, Robert Bruc... (1)
- Flatt, Matthew (1)
- Huth, Michael (1)
- Mahr, Bernd (1)
- Ryan, Mark Dermot (1)
- Sangiorgi, Davide (1)
- Simmons, Harold (1)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (7)
-
Ubicaciones
-
Series
-
Temas
- Especificaciones (1)
- Formal languages (7)
- Ingenieria de softwa... (1)
- Lenguajes formales (5)
- Logic and meanings o... (2)
- Logics and meanings ... (5)
- Lógica matemática (5)
- Lógica y significado... (5)
- Mathematical logic (7)
- Programming techniqu... (2)
- Requerimientos (1)
- Requirements (1)
- Software engineering (1)
- Specifications (1)
- Técnicas de programa... (1)
- Mostrar más
- Mostrar menos