Logic in computer science: Modelling and reasoning about systems

other_versions_link
Bibliografiska uppgifter
Huvudupphovsman: Huth, Michael
Övriga upphovsmän: Ryan, Mark
Materialtyp: Printed Book
Publicerad: Cambridge University Press, Cambridge 2005
Ämnen:
Computer science

Liknande verk