Dynamic logic

Manylion Llyfryddiaeth
Prif Awduron:	Harel, David 1950- (Awdur), Kozen, Dexter 1951- (Awdur), Tiuryn, Jerzy (Awdur)
Fformat:	Electronic Resource
Iaith:	Saesneg
Cyhoeddwyd:	Cambridge, Massachusetts The MIT Press [2000]
Pynciau:	Electronic books. Computer logic. Formal methods (Computer science)
Mynediad Ar-lein:	Click here to access thru EZproxy Click here to access