Formal Methods for Multicore Programming: 15th International School on Formal Me
64,96 €
Coordinating Multicore Computing. - Modeling of Architectures. - A Gentle Introduction to Multiparty Asynchronous Session Types. Series Programming and Software Engineering. Publisher Springer International Publishing AG.
Jetzt bei Ebay: