Scott A. Smolka
Author detail
7 featured books
Bookitis has not yet captured a biography for this author, but the catalog links below show the books currently associated with this profile.
OL2670480A
Overview
Catalog identity and bibliographic footprint for this author.
7 representative editions
Catalog identity
How this author appears inside the active Bookitis catalog.
Display name
Source identifier
Featured books
Representative editions for works actually authored by this person.
- Image source: Open LibraryRV
Runtime Verification
cover - Image source: Open LibraryIC
Interactive Computation
cover - Image source: Open LibraryIT
Introduction to operating system design and implementation
cover - Image source: Open LibraryIC
Interactive computation
cover - Image source: Open LibraryHO
Handbook of process algebra
cover - Image source: Open LibraryC'
Concur '95 - Concurrency Theory
cover - Image source: Open LibraryO
OSP
cover
Works in catalog
Quick navigation into the work-level grouping pages behind the featured books.