Normal view MARC view ISBD view

Dynamic logic

Harel, David

Dynamic logic - New Delhi: Prentice-Hall of India Pvt. Ltd, 2007 - xv, 459 p. : ill. ; 23 cm

ISBN: 9788120331716 (alk. hc)

Subjects--Topical Terms:
Computer logic

Dewey Class. No.: 004.0151113 HAR

Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

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