автор: Scott Smolka

поддержка

2 Электронные книги Scott Smolka

Michael Kifer & Scott Smolka: Introduction to Operating System Design and Implementation
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 …
PDF
английский
DRM
€57.77
Nir Piterman & Scott Smolka: Tools and Algorithms for the Construction and Analysis of Systems
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 …
PDF
английский
DRM
€57.64