Logic in computer science: Modelling and reasoning about systems

other_versions_link
Detalles Bibliográficos
Autor principal: Huth, Michael
Otros Autores: Ryan, Mark
Formato: Printed Book
Publicado: Cambridge University Press, Cambridge 2005
Materias:
Computer science

Ejemplares similares