Advertisement

Organization of OSP 2

  • Michael Kifer
  • Scott A. Smolka
Chapter
  • 2.6k Downloads
Part of the Undergraduate Topics in Computer Science book series (UTICS)

Keywords

System Call Student Project Page Fault Interprocess Communication Static Void 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 2007

Authors and Affiliations

  • Michael Kifer
    • 1
  • Scott A. Smolka
    • 1
  1. 1.State University of New YorkStony BrookUSA

Personalised recommendations