Logic in computer science:modelling and reasoning about systems

Zapisane w:
Opis bibliograficzny
1. autor: Huth, Michael
Kolejni autorzy: Ryan, Mark
Język:angielski
Wydane: Cambridge CUP 2005
Wydanie:2nd ed.
Hasła przedmiotowe:
Etykiety: Dodaj etykietę
Nie ma etykietki, Dołącz pierwszą etykiete!

Podobne zapisy: Logic in computer science:modelling and reasoning about systems