Cover Image

Dynamic logic /

Show other versions (1)
Bibliographic Details
Main Author: Harel, David, 1950-
Other Authors: Kozen, Dexter, 1951-, Tiuryn, Jerzy
Format: Book
Language:English
Published: Cambridge, Mass. : MIT Press, 2000.
Series:Foundations of computing.
Subjects:
Computer logic.
Formal methods (Computer science)
Description
Physical Description:xv, 459 pages : illustrations ; 23 cm.
Bibliography:Includes bibliographical references and index.
ISBN:0262082896 (alk. hc)