Logic in computer science: Modelling and reasoning about systems

other_versions_link
Dades bibliogràfiques
Autor principal: Huth, Michael
Altres autors: Ryan, Mark
Format: Printed Book
Publicat: Cambridge University Press, Cambridge 2005
Matèries:
Computer science

Ítems similars