Dynamic logic

David Harel David Harel, Dexter Kozen, Jerzy Tiuryn
Bok · Engelsk · 2000

Utgitt	Cambridge, Mass. : MIT Press , c2000
Omfang	xv, 459 s.
Emner	Computer logic Formal methods (Computer science) Dynamisk logikk PDL dynamisk logikk informatikk
ISBN	0262082896