Dynamic logic

מידע ביבליוגרפי
Main Authors:	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