Logic in computer science modelling and reasoning about systems

Detalles Bibliográficos
Autor principal: Huth, Michael (-)
Otros Autores: Ryan, Mark
Formato: Libro
Idioma:Inglés
Publicado: Cambridge [etc.] : Cambridge University Press 2006.
Edición:2nd ed., 3rd print
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991005957179703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Descripción Física:XXI, 628 p. : il. ; 25 cm
Bibliografía:Bibliogr.: p. 414-417. Índice
ISBN:9780521543101