• Home /
  • Formal Aspects of Component Software (eBook)

Formal Aspects of Component Software (eBook)

20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings
Artikelnummer: 978-3-031-71261-6
Einband: PDF
Verfügbarkeit: Download, sofort verfügbar (Link per E-Mail)
CHF 65.00
decrease increase

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.

This book constitutes the refereed proceedings of the 20th International Conference on Formal Aspects of Component Software, FACS 2024, held in Milan, Italy, during September 9-10, 2024. The 7 full papers and 1 short paper included in this book were carefully reviewed and selected from 16 submissions. They are organized in topical sections as follows: verification and testing, formal models, and security and blockchain.

Schreiben Sie Ihre eigene Bewertung
  • Nur registrierte Benutzer können Produkte bewerten
*
*
Schlecht
Sehr gut
*
*
*
*
VerlagSpringer International Publishing
EinbandPDF
Erscheinungsjahr2024
Seitenangabe147 S.
AusgabekennzeichenEnglisch
AbbildungenXVII, 147 p. 71 illus., 41 illus. in color.
Masse9'524 KB
PlattformPDF
ReiheLecture Notes in Computer Science; Computer Science; Computer Science ; Springer Nature Proceedings Computer Science
AutorMarmsoler, Diego (Hrsg.) / Sun, Meng (Hrsg.)

Alle Bände der Reihe "Lecture Notes in Computer Science; Computer Science; Computer Science (R0); Springer Nature Proceedings Computer Science"

Weitere Titel von Diego (Hrsg.) Marmsoler

Produktbewertungen
Nur registrierte Benutzer können Produkte bewerten