Kniha momentálne nie je na sklade
Formal Methods for Multicore Programming
15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
Autori
Parametre
Nákup knihy
Formal Methods for Multicore Programming, Marco Bernardo
- Jazyk
- Rok vydania
- 2015
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Formal Methods for Multicore Programming
- Podtitul
- 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures
- Jazyk
- anglicky
- Autori
- Marco Bernardo
- Vydavateľ
- Springer-Verlag GmbH
- Rok vydania
- 2015
- ISBN10
- 3319189409
- ISBN13
- 9783319189406