Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.13768 (PDF)
25th Brazilian Symposium, SBMF 2022, Virtual Event, December 6-9, 2022, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.
The 8 regular papers presented in this book were carefully reviewed and selected from 15...
The 8 regular papers presented in this book were carefully reviewed and selected from 15...
sofort als Download lieferbar
eBook (pdf)
Fr. 65.00
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.13768 (PDF)“
This book constitutes the refereed proceedings of the 25th Brazilian Symposium on Formal Methods, SBMF 2022, which was held virtually in December 2022.
The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The symposium focuses on the development, dissemination, and use of formal methods for the construction
of high-quality computational systems, aiming to promote opportunities for researchers and practitioners with an interest in formal methods to discuss the recent advances in this area.
Bibliographische Angaben
- 2022, 1st ed. 2022, 143 Seiten, Englisch
- Herausgegeben: Lucas Lima, Vince Molnár
- Verlag: Springer International Publishing
- ISBN-10: 3031224760
- ISBN-13: 9783031224768
- Erscheinungsdatum: 30.11.2022
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 4.64 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.13768"
0 Gebrauchte Artikel zu „Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.13768“
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Schreiben Sie einen Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.13768".
Kommentar verfassen