Das Buch ist derzeit nicht auf Lager
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
Autoren
Parameter
Buchkauf
Formal Methods for Multicore Programming, Marco Bernardo
- Sprache
- Erscheinungsdatum
- 2015
Wir benachrichtigen dich per E-Mail.
Lieferung
Zahlungsmethoden
Feedback senden
- Titel
- Formal Methods for Multicore Programming
- Untertitel
- 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
- Sprache
- Englisch
- Autor*innen
- Marco Bernardo
- Verlag
- Springer-Verlag GmbH
- Verlag
- 2015
- ISBN10
- 3319189409
- ISBN13
- 9783319189406