TY  - BOOK
AU  - Harel,David
AU  - Kozen,Dexter
AU  - Tiuryn,Jerzy
TI  - Dynamic logic
SN  - 9788120331716(pbk.)
U1  - 004.015113 22
PY  - 2007///
CY  - New Delhi
PB  - Prentice-Hall
KW  - Computer logic
KW  - Formal methods (Computer science)
N1  - Includes bibliographical references and index
ER  -