Normal view MARC view ISBD view

Logic in computer science modelling and reasoning about systems

004.0151 / H971l
Huth, Michael
Logic in computer science : modelling and reasoning about systems / Michael Huth and Mark Ryan .- Cambridge: Cambridge University Press, 2000 .- xvii, 387p .
ISBN: 0521652006
Subject Headings:
Logic In Computer Science, 2. Modelling And Reasoning About Systems;
Author Added Entry:
Ryan, Mark;
Copy Details:
Acc. No.: A131134, Full Call No.: 004.0151 H971l, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Logic in computer science modelling and reasoning about systems