Cover Image

Dynamic logic /

Show other versions (1)
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)
Search Result 1
Cover Image
by Harel, David, 1950-
Published 2000
Connect to the full text of this electronic book
eBook
Show all versions (2)