Logic in computer science:modelling and reasoning about systems

Sábháilte in:
Sonraí bibleagrafaíochta
Príomhchruthaitheoir: Huth, Michael
Rannpháirtithe: Ryan, Mark
Teanga:Béarla
Foilsithe / Cruthaithe: Cambridge CUP 2005
Eagrán:2nd ed.
Ábhair:
Clibeanna: Cuir clib leis
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!