Logic in computer science: Modelling and reasoning about systems

other_versions_link
Podrobná bibliografie
Hlavní autor: Huth, Michael
Další autoři: Ryan, Mark
Médium: Printed Book
Vydáno: Cambridge University Press, Cambridge 2005
Témata:
Computer science

Podobné jednotky