Refinar su búsqueda
Disponibilidad
-
Autores
- Baier, Christel (1)
- Ben-Ari, Mordechai (1)
- Castéran, Pierre (1)
- Clarke, Edmund M. (1)
- Ehrig, Hartmut (1)
- Felleisen, Matthias (1)
- Findler, Robert Bruc... (1)
- Flatt, Matthew (1)
- Gries, David (1)
- Grumberg, Orna (2)
- Huth, Michael (1)
- Katoen, Joost-Pieter (1)
- Libkin, Leonid (1)
- Mahr, Bernd (1)
- Nordström, Bengt (1)
- Sangiorgi, Davide (2)
- Smith, Jan M. (1)
- Veith, Helmut (1)
- Wirth, Niklaus (2)
- Mostrar más
- Mostrar menos
-
Tipos de ítem
- Libro (19)
-
Ubicaciones
- Sección Computación (19)
-
Series
-
Temas
- Computer systems (2)
- Formal languages (7)
- Lenguajes formales (5)
- Logic and meanings o... (6)
- Logic of programs (5)
- Logics and meanings ... (11)
- Lógica de programas (5)
- Lógica matemática (7)
- Lógica y significado... (15)
- Mathematical logic (10)
- Meanings of programs (5)
- Model checking (3)
- Modelos Spin (2)
- Significado de progr... (5)
- Spin model (2)
- Verificacción de pro... (5)
- Verifying programs (5)
- Mostrar más
- Mostrar menos