Logic in computer science:modelling and reasoning about systems

Guardado en:
Detalles Bibliográficos
Autor principal: Huth, Michael
Otros Autores: Ryan, Mark
Lenguaje:inglés
Publicado: Cambridge CUP 2005
Edición:2nd ed.
Materias:
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!