Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.10623 (PDF)
20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings
(Sprache: Englisch)
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
sofort als Download lieferbar
eBook (pdf)
71.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.10623 (PDF)“
The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Bibliographische Angaben
- 2017, 1st ed. 2017, 305 Seiten, Englisch
- Herausgegeben: Simone Cavalheiro, José Fiadeiro
- Verlag: Springer-Verlag GmbH
- ISBN-10: 3319708481
- ISBN-13: 9783319708485
- Erscheinungsdatum: 17.11.2017
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 12 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.10623"
Schreiben Sie einen Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.10623".
Kommentar verfassen