SUMMON Search
SEARCH ALL HEC DIGITAL LIBRARY RESOURCES

Quick Search :

RECORD DETAIL
Back To Previous  
Title Dynamic logic
Edition
Call Number 004.015113 HAR
ISBN/ISSN 0-262-08289-6
Author(s) Harel, David - Personal Name
Tiuryn, Jerzy - Personal Name
Kozen, Dexter - Personal Name
Subject(s) Computer Logic
Formal Methods \'Computer science\'
Classification 4.015113
Series Title
GMD Text
Language English
Publisher The MIT Press
Publishing Year 2000
Publishing Place Cambridge
Collation xv, 459p
Abstract/Notes
Specific Detail Info
Image
File Attachment
LOADING LIST...
Availability
LOADING LIST...
  Back To Previous




Select Language

Advanced Search

Title :
Author(s) :
  • SEARCHING...

Subject(s) :
  • SEARCHING...

Call # :
ISBN/ISSN :
GMD : Collection Type : Location :

Developed By

Computer Centre, Q.A.U