Logic in computer science : modelling and reasoning about systems
Michael Huth, Mark Ryan
Bok Engelsk 2004
Utgitt | Cambridge : Cambridge University Press , 2004
|
---|---|
Omfang | XIV, 427 s. : ill.
|
Utgave | 2nd ed.
|
Emner | |
Dewey | |
ISBN | 052154310X
|
Logic in computer science : modelling and reasoning about systems
Michael Huth, Mark Ryan
Bok · Engelsk · 2000
Michael Huth, Mark Ryan
Bok · Engelsk · 2000