Dyanamic logic /
Harel, David
Dyanamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn - Cambridge: The MIT Press, 2000 - xv, 459p. - Foundation of computing series. .
0262082896
Computer logic.---
004.015113 / Dy
Dyanamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn - Cambridge: The MIT Press, 2000 - xv, 459p. - Foundation of computing series. .
0262082896
Computer logic.---
004.015113 / Dy