Concurrency theory : calculi and automata for modelling untimed and timed concurrent systems


Howard Bowman
Bok Engelsk 2006

Detaljer

Bibliotek som har denne