Java Usb for Windows Web
Advanced programming tools at Microsoft K. Rustan M. Leino Microsoft Research, Redmond, WA, USA 16 May 2005 Distinguished lecture, York University Toronto,
Aula 02-processos-e-threads-tanenbaum-parte-2
SYNCHRONIZATION IN MULTIPROCESSING
Процессы и потоки. Планирование и взаимоблокировки
Richard Mancusi - CSCI 297 Static Analysis and Modeling Tools which allows further checking of software systems.
ITFN 2601 Introduction to Operating Systems