Formal Methods for Multicore Programming (Lecture Notes in Computer Science, Band 9104)

Multicore

von: Marco Bernardo · Einar Broch Johnsen

Taschenbuch

ISBN-13: 978-3-319-18940-6

ISBN-10: 3-319-18940-9

Springer · 2015