Dynamic Logic
Harel, David
Dynamic Logic - New Delhi Prentice-Hall 2007 - xxii,562p.
160 / P7 CSC
Dynamic Logic - New Delhi Prentice-Hall 2007 - xxii,562p.
160 / P7 CSC
Copyright @ SGGSCC Library
Sri Guru Gobind Singh College of CommerceOpp. T.V. Tower Pitampura, New Delhi
Contact the Ms. Rekha Devi, Librarian, SGGSCC
Email:: librarian@sggscc.du.ac.in