Logic in computer science:modelling and reasoning about systems

Uloženo v:
Podrobná bibliografie
Hlavní autor: Huth, Michael
Další autoři: Ryan, Mark
Jazyk:angličtina
Vydáno: Cambridge CUP 2005
Vydání:2nd ed.
Témata:
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Podobné jednotky: Logic in computer science:modelling and reasoning about systems