Normal view MARC view ISBD view

Logic in computer science modelling and reasoning about systems

Huth, Michael

Logic in computer science modelling and reasoning about systems - 2 - UK Cambridge University Press 2004 - 427

ISBN: 521670896

Subjects--Topical Terms:
COMPUTER MODELLING
LOGIC

Dewey Class. No.: 003.3 HUT/L

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

Search for this title in:
Goodreads Google Books Amazon India Kerala Academic Library Network (Union Catalog)