Monitors with arrays of condition variables and proof rules handling local quantities


Stein Gjessing
Bok Engelsk 1979

Detaljer

Bibliotek som har denne