Dynamic logic

Dades bibliogràfiques
Autors principals:	Harel, David 1950- (Autor), Kozen, Dexter 1951- (Autor), Tiuryn, Jerzy (Autor)
Format:	Electronic Resource
Idioma:	English
Publicat:	Cambridge, Massachusetts The MIT Press [2000]
Matèries:	Electronic books. Computer logic. Formal methods (Computer science)
Accés en línia:	Click here to access thru EZproxy Click here to access