Actions for Dynamic Logic [electronic resource]

Email RIS file
Bookmark
Report an Issue

Dynamic Logic [electronic resource]

Author
Kozen, Dexter
Corporate Author
Harel,David
Published
Cambridge : MIT Press Ipswich : Ebsco Publishing [Distributor]
Additional Creators
Tiuryn,Jerzy
Access Online

Availability

I Want It
I Want It

Finding items...

Restrictions on Access
License restrictions may limit access.
Genre(s)
ISBN
9780262274951
0262274957 (E-Book)
View MARC record | catkey: 41076827