Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.14414 (PDF)
26th Brazilian Symposium, SBMF 2023, Manaus, Brazil, December 4-8, 2023, Proceedings
(Sprache: Englisch)
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected...
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected...
sofort als Download lieferbar
eBook (pdf)
53.49 €
26 DeutschlandCard Punkte sammeln
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.14414 (PDF)“
This book constitutes the refereed proceedings of the 26th Brazilian Symposium on Formal Methods, SBMF 2023, held in Manaus, Brazil, during December 4-8, 2023.
The 7 full papers and 2 short papers presented in this book were carefully reviewed and selected from 16 submissions.
Bibliographische Angaben
- 2023, 1st ed. 2024, 153 Seiten, Englisch
- Herausgegeben: Haniel Barbosa, Yoni Zohar
- Verlag: Springer International Publishing
- ISBN-10: 3031493427
- ISBN-13: 9783031493423
- Erscheinungsdatum: 01.12.2023
Abhängig von Bildschirmgröße und eingestellter Schriftgröße kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Größe: 5.82 MB
- Ohne Kopierschutz
- Vorlesefunktion
Sprache:
Englisch
Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.14414"
0 Gebrauchte Artikel zu „Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.14414“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Formal Methods: Foundations and Applications / Lecture Notes in Computer Science Bd.14414".
Kommentar verfassen