Dynamic logic /

Bibliographic Details

Main Author:	Harel, David, 1950-
Other Authors:	Kozen, Dexter, 1951-, Tiuryn, Jerzy
Format:	Book
Language:	English
Published:	Cambridge, Mass. : MIT Press, 2000.
Series:	Foundations of computing.
Subjects:	Computer logic. Formal methods (Computer science)