Formal Methods for Multicore Programming
-
häftad
,
Engelska, 2015