Formal Methods: Foundations and Applications, Kartoniert / Broschiert
Formal Methods: Foundations and Applications
Buch
- 28th Brazilian Symposium, SBMF 2025, Recife, Brazil, December 3-5, 2025, Proceedings
Artikel noch nicht erschienen, voraussichtlicher Liefertermin ist der 6.1.2026.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
Sie können den Titel schon jetzt bestellen. Versand an Sie erfolgt gleich nach Verfügbarkeit.
Aktueller Preis: EUR 63,51
- Herausgeber:
- Maurice H. Ter Beek, Leopoldo Teixeira
- Verlag:
- Springer-Verlag GmbH, 01/2026
- Einband:
- Kartoniert / Broschiert
- Sprache:
- Englisch
- ISBN-13:
- 9783032120854
- Artikelnummer:
- 12506654
- Umfang:
- 236 Seiten
- Sonstiges:
- XIV, 236 p. 37 illus.
- Erscheinungstermin:
- 6.1.2026
- Serie:
- Lecture Notes in Computer Science - Band 16363
- Hinweis
-
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.
The 12 full papers and 1 short paper included in this book were carefully reviewed and selected from 24 submissions. They were organized in topical sections as follows: Process Algebras and Time; Formal Verification; Testing; Availability and Contracts; Formal Methods and AI; and Teaching and Foundations.
Mehr von Lecture Notes i...
-
Massimo BartolettiFinancial Cryptography and Data Security. FC 2025 International WorkshopsBuchAktueller Preis: EUR 81,04
-
Financial Cryptography and Data Security. FC 2025 International WorkshopsBuchAktueller Preis: EUR 81,04
-
Applied Cryptography and Network Security WorkshopsBuchAktueller Preis: EUR 72,27
-
Languages and Compilers for Parallel ComputingBuchAktueller Preis: EUR 109,51
Formal Methods: Foundations and Applications
Aktueller Preis: EUR 63,51
