Normal view MARC view ISBD view

Dynamic logic /

004.0151HAR
Harel, David
   Dynamic logic / by David Harel, Dexter Kozen [and] Jerzy Tiuryn.- New Delhi:Prentice-Hall of India,2007.
  xv, 459p.;23cm. (Pbk)
  Note: Includes index
  ISBN:9788120331716     Rs. 295.00

  DBAD / PUB /ENG-86229/ EN-69762 / 295.00 /sign

Print
Cite
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
More searches

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