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.
Holds:
Copies:

Available:*

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

On Order