Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods: Foundations and Applications

  • E-Book (pdf)
  • 141 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in De... Weiterlesen
CHF 59.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually.
The 8 regular papers presented in this book were carefully reviewed and selected from 15 submissions. The papers detail 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

Produktinformationen

Titel: Formal Methods: Foundations and Applications
Untertitel: 24th Brazilian Symposium, SBMF 2021, Virtual Event, December 6-10, 2021, Proceedings
Editor:
EAN: 9783030921378
Format: E-Book (pdf)
Hersteller: Springer International Publishing
Genre: IT & Internet
Veröffentlichung: 25.11.2021
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 141

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"