Dynamic logic

Podrobná bibliografie
Hlavní autoři:	Harel, David 1950- (Autor), Kozen, Dexter 1951- (Autor), Tiuryn, Jerzy (Autor)
Médium:	Electronic Resource
Jazyk:	English
Vydáno:	Cambridge, Massachusetts The MIT Press [2000]
Témata:	Electronic books. Computer logic. Formal methods (Computer science)
On-line přístup:	Click here to access thru EZproxy Click here to access