Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.11254 (PDF)
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26-30, 2018, Proceedings
(Sprache: Englisch)
Chapter "TeSSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
sofort als Download lieferbar
eBook (pdf)
Fr. 68.50
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.11254 (PDF)“
Chapter "TeSSLa: Temporal Stream-Based Specification Language" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Bibliographische Angaben
- 2018, 1st ed. 2018, 271 Seiten, Englisch
- Herausgegeben: Tiago Massoni, Mohammad Reza Mousavi
- Verlag: Springer-Verlag GmbH
- ISBN-10: 303003044X
- ISBN-13: 9783030030445
- Erscheinungsdatum: 19.11.2018
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 13 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.11254"
0 Gebrauchte Artikel zu „Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.11254“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.11254".
Kommentar verfassen