Dynamic logic

Bibliografiset tiedot
Päätekijät:	Harel, David 1950- (Tekijä), Kozen, Dexter 1951- (Tekijä), Tiuryn, Jerzy (Tekijä)
Aineistotyyppi:	Electronic Resource
Kieli:	English
Julkaistu:	Cambridge, Massachusetts The MIT Press [2000]
Aiheet:	Electronic books. Computer logic. Formal methods (Computer science)
Linkit:	Click here to access thru EZproxy Click here to access