Limit search to available items
Add Marked to Bag Add All On Page Add Marked to My Lists
Authors (Last name first) (1-2 of 2)
Kröger, Fred, 1945-
1
E-book
2008

Temporal logic and state systems


Kröger, Fred, 1945-



Rating:

 
2
Book
1987

Temporal logic of programs


Kröger, Fred, 1945-

Berlin ; New York : Springer-Verlag, [1987]

Rating:

Request It 
 
Location Call no. Vol. Availability
 W'PONDS  005.131 Kro  AVAILABLE
Add Marked to Bag Add All On Page
Locate in results