Dynamic logic
by
 
Harel, David, 1950-

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


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book219967-1001ONLINEElektronik Kütüphane