DYNAMIC LOGIC
DAVID HAREL; DEXTER KOZEN; JERZY TIURYN
DYNAMIC LOGIC DAVID HAREL, DEXTER KOZEN AND JERZY TIURYN - - PRENTICE HALL OF INDIA PRIVATE LIMITED 2007 - xv, 459 p.
9788120331716
MATHEMATICS
519.703 HAR / DAV
DYNAMIC LOGIC DAVID HAREL, DEXTER KOZEN AND JERZY TIURYN - - PRENTICE HALL OF INDIA PRIVATE LIMITED 2007 - xv, 459 p.
9788120331716
MATHEMATICS
519.703 HAR / DAV