-
RecordNumber
35895
-
Author
Harel , David
-
Title
Dynamic Logic
-
Author Statement
by David Harel , Dexter Kozen and Jerzy Tiuryn
-
Publication
Prentice-Hall of India
-
Collation
459p
-
Subject
Computer logic,Formal methods (Computer science)
-
ADDED ENTRIES
AU Kozen , Dexter , AU Tiuryn , Jerzy
-
LC Class
QA
-
LC Number
76.9
-
LC CutterNumber
.L63H37
-
LC Date
2007
-
LC NO
QA 76.9 .L63H37 2007
-
Published_Year
2007
-
Link To Document :
