Dynamic logic

書誌詳細
主要な著者:	Harel, David 1950- (著者), Kozen, Dexter 1951- (著者), Tiuryn, Jerzy (著者)
フォーマット:	Electronic Resource
言語:	English
出版事項:	Cambridge, Massachusetts The MIT Press [2000]
主題:	Electronic books. Computer logic. Formal methods (Computer science)
オンライン･アクセス:	Click here to access thru EZproxy Click here to access