S S · Sadie Smalls · Scott A. Smolka · Stu Samuels
| Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings | 978-3-540-60218-7 (3-540-60218-6) | 2008 | Insup Lee | |
| Introduction to Operating System Design and Implementation: The OSP 2 Approach | 978-1-84628-842-5 (1-84628-842-8) | 2007 | Michael Kifer | |
| Tools and Algorithms for the Construction and Analysis of Systems | 978-3-642-36741-0 (3-642-36741-0) | 2013 | Nir Piterman |