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
© The University of Dodoma 2020