Dynamic logic - Harel, David, 1950- (MIT Press, 2000)
Keywords: Computer logic.; Formal methods (Computer science); elektronické knihy; electronic books