Logic in computer science: Modelling and reasoning about systems

other_versions_link
Dettagli Bibliografici
Autore principale: Huth, Michael
Altri autori: Ryan, Mark
Natura: Printed Book
Pubblicazione: Cambridge University Press, Cambridge 2005
Soggetti:
Computer science

Documenti analoghi