Concurrency Verification : Introduction to Compositional and Non-compositional Methods
Boer, Frank de Lakhnech, Yassine Roever, Willem-Paul de Hanneman, Ulrich Poel, Mannes Hooman, Jozef Zwiers, Job
Cambridge Tracts in Theoretical Computer Science Heftet Engelsk
Produseres på bestilling
