Formal Methods for Multicore Programming

Format:: e-book
Title:: Formal Methods for Multicore Programming
Author:: Bernardo; Johnsen, Einar Broch
Language:: English
Publisher:: Springer International Publishing 2015
ISBN:: 3-319-18940-9
3-319-18941-7
Permalink:: http://bibtest.howest.be/catalog/ebk03:3710000000416854?locale=en