Scott A. Smolka

Identifiers

Open LibraryOL2670480A

Top Subjects

Interactive computer systems (1)
Computers - Operating Systems (1)
Operating Systems (1)
Computers (1)
Computer Books: Operating Systems (1)
Operating systems & graphical user interfaces (GUIs) (1)
Computers / Operating Systems / General (1)

Books by Scott A. Smolka

Total count: 4

OSPAn Environment for Operating System Projects

Addison Wesley1991-07-03
Interactive ComputationThe New Paradigm

Springer London, Limited2006-01-01
Introduction to Operating System Design and ImplementationThe OSP 2 Approach (Undergraduate Topics in Computer Science)1 edition

Springer2007-07-16
Runtime Verification5th International Conference, RV 2014, Toronto, on, Canada, September 22-25, 2014. Proceedings

Springer London, Limited2014-01-01