Skip to:Content
|
Bottom
Cover image for Dynamic logic
Title:
Dynamic logic
Author:
Harel, David, 1950-
ISBN:
9780262274951
Publication Information:
Cambridge, Mass. : MIT Press, 2000.
Physical Description:
1 online resource (xv, 459 p.) : ill.
Series:
Foundations of computing.
Series Title:
Foundations of computing.
Subject Term:
Computer logic.

Formal methods (Computer science)
Added Author:
Kozen, Dexter, 1951-

Tiuryn, Jerzy.
Electronic Access:
IEEE Xplore http://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267400
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 219967-1001 ONLINE
Searching...

On Order

Go to:Top of Page