Logic in computer science: Modelling and reasoning about systems

other_versions_link
Xehetasun bibliografikoak
Egile nagusia: Huth, Michael
Beste egile batzuk: Ryan, Mark
Formatua: Printed Book
Argitaratua: Cambridge University Press, Cambridge 2005
Gaiak:
Computer science

Antzeko izenburuak