Search

You searched for: Auteur Smolka, Scott A. Remove constraint Auteur: Smolka, Scott A.
1 - 3 of 3
Number of results to display per page

Search Results

1. Runtime Verification
thumbnail
Full text!
Author:
Bonakdarpour; Smolka, Scott A.
Publisher:
Springer International Publishing 2014
Format:
e-book
2. Interactive Computation
thumbnail
Full text!
Author:
Goldin, Dina; Smolka, Scott A.; Wegner, Peter; Goldin, Dina Q.; Smolka, Scott A.; Wegner, Peter
Publisher:
Springer Berlin Heidelberg 2006
Format:
e-book
3. Introduction to Operating System Design and Implementation
thumbnail
Full text!
Author:
Kifer, Michael; Abramsky, Samson; Mackie, Ian; Smolka, Scott A.; Hankin, Chris; Smolka, Scott
Publisher:
Springer London 2007
Format:
e-book