Freunden von diesem Artikel berichten:
Probabilistic Trace and Testing Semantics
Marco Bernardo
Preis
Kč 1.691
exkl. MwSt.
Bestellware
Lieferdatum: ca. 4. - 17. Jul
Zu deiner iMusic Wunschliste hinzufügen
Probabilistic Trace and Testing Semantics
Marco Bernardo
| Medien | Bücher Buch |
| Erscheinungsdatum | 24. August 2022 |
| ISBN13 | 9781638280743 |
| Verlag | Now Publishers |
| Maße | 158 g |
| Sprache | Englisch |
Alle anzeigen
![Cover for Marco Bernardo · 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 - Programming and Software Engineering (Taschenbuch) [2015 edition] (2015)](https://imusic.b-cdn.net/images/item/original/406/9783319189406.jpg?marco-bernardo-2015-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-programming-and-software-engin&class=scaled&v=1476722384)