4 Results Found Subscribe to search results
0000DEFAULT
Print
Author 
Harel, David, 1950- Kozen, Dexter, 1951- Tiuryn, Jerzy.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Condon, Anne. editor. Harel, David. editor. Kok, Joost N. editor. Salomaa, Arto. editor. Winfree, Erik. editor.
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Nierstrasz, Oscar. editor. Whittle, Jon. editor. Harel, David. editor. Reggio, Gianna. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies:
Author 
Broy, Manfred. editor. Grünbauer, Johannes. editor. Harel, David. editor. Hoare, Tony. editor. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Format: 
Availability 
Online Library~1
Available:
Copies: