Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.13768 (PDF)
The 8 regular papers presented in this book were carefully reviewed and selected from 15...
29 DeutschlandCard Punkte
sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
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.
- 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öße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: PDF
- Größe: 4.64 MB
- Ohne Kopierschutz
- Vorlesefunktion
| 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