Cargando…

Logic in computer science : modelling and reasoning about systems /

Detalles Bibliográficos
Autor principal: Huth, Michael, 1962-
Otros Autores: Ryan, Mark, 1962- (coaut.)
Formato: Libro
Lenguaje:English
Publicado: Cambridge [U.K.] ; New York : Cambridge University Press, 2004.
Edición:2nd ed.
Materias:
Acceso en línea:Muestra del texto
Tabla de contenido