Dynamic logic

গ্রন্থ-পঞ্জীর বিবরন
প্রধান লেখক:	Harel, David 1950- (Author), Kozen, Dexter 1951- (Author), Tiuryn, Jerzy (Author)
বিন্যাস:	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