Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
(Sprache: Englisch)
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
71.49 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Formal Aspects of Component Software “
Klappentext zu „Formal Aspects of Component Software “
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed.
Inhaltsverzeichnis zu „Formal Aspects of Component Software “
Modelling.- Verification.- Logics.- Semantics.- Types.- Choreographies.Bibliographische Angaben
- 2022, 1st ed. 2022, X, 245 Seiten, 25 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Silvia Lizeth Tapia Tarifa, José Proença
- Verlag: Springer, Berlin
- ISBN-10: 3031208714
- ISBN-13: 9783031208713
Sprache:
Englisch
Kommentar zu "Formal Aspects of Component Software"
Schreiben Sie einen Kommentar zu "Formal Aspects of Component Software".
Kommentar verfassen