Dynamic logic /
Harel, David, 1950-
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn - Cambridge: MIT Press, 2000 - xv, 459 p.: ill. ; 23 cm. - Foundations of computing .
Includes bibliographical references and index.
9788120331716
00030380
Computer logic.
Formal methods
QA 76.9 / .H37 2000
004/.01/5113
Dynamic logic / David Harel, Dexter Kozen, Jerzy Tiuryn - Cambridge: MIT Press, 2000 - xv, 459 p.: ill. ; 23 cm. - Foundations of computing .
Includes bibliographical references and index.
9788120331716
00030380
Computer logic.
Formal methods
QA 76.9 / .H37 2000
004/.01/5113