Scott Smolka – författare
Visar alla böcker från författaren Scott Smolka. Handla med fri frakt och snabb leverans.
5 produkter
Introduction to Operating System Design and Implementation
The OSP 2 Approach
Av Michael Kifer, Scott Smolka m. fl.
Häftad, 2007
568 kr
Lägg i varukorg
OSP 2 is both an implementation of a modern operating system and a flexible environment for generating implementation projects appropriate for an introductory course in operating system design. This book is an introduction to the design and implementation of operating systems using OSP 2, the next …
Introduction to Operating System Design and Implementation
The OSP 2 Approach
Av Scott Smolka, Michael Kifer
E-bok, 2007
739 kr
Lägg i varukorg
OSP 2 is both an implementation of a modern operating system and a flexible environment for generating implementation projects appropriate for an introductory course in operating system design. This book is an introduction to the design and implementation of operating systems using OSP 2, the next …
CONCUR '95 Concurrency Theory
6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings
Av Scott Smolka
Häftad, 1995
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Conference on Concurrency Theory, CONCUR '95, held in Philadelphia, Pennsylvania in August 1995.The volume presents seven invited contributions by outstanding researchers and 33 refereed full research papers selected by the program …
Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
Häftad, 2013
568 kr
Lägg i varukorg
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are …
Tools and Algorithms for the Construction and Analysis of Systems
19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013, Proceedings
E-bok, 2013
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2013, held in Rome, Italy, in March 2013. The 42 papers presented in this volume were carefully reviewed and selected from 172 submissions. They are …
