Dynamic logic
| Autor principal: | |
|---|---|
| Otros Autores: | , |
| Formato: | Libro electrónico |
| Idioma: | Inglés |
| Publicado: |
Cambridge, Mass. :
MIT Press
2000.
|
| Colección: | EBSCO Academic eBook Collection Complete.
Foundations of computing. |
| Acceso en línea: | Conectar con la versión electrónica |
| Ver en Universidad de Navarra: | https://innopac.unav.es/record=b31855179*spi |
| Descripción Física: | xv, 459 p. : il |
|---|---|
| Formato: | Forma de acceso: World Wide Web. |
| Bibliografía: | Incluye referencias bibliográficas e índice. |
| ISBN: | 9780262274951 |
