Dynamic logic

• Main Author: Harel, David, 1950-
• Other Authors: Kozen, Dexter, 1951-, Tiuryn, Jerzy
• Format: eBook
• Language: English
• Published: Cambridge, Mass. : MIT Press, 2000.
• Series: Foundations of computing.
• Subjects: Computer logic.; Formal methods (Computer science); elektronické knihy; electronic books
• ISBN: 9780262274951
• Physical Description: 1 online zdroj (xv, 459 p.) : ill.