Dynamic logic /

other_versions_link
Bibliographic Details
Main Author: Harel, David
Other Authors: Kozen, Dexter ., Tiuryn, Jerzy .
Format: Printed Book
Language:English
Published: New Delhi : Prentice Hall of India , 2002.
Subjects:
Mathamatical logic

Similar Items