Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Formal Aspects of Component Software
CHF 85.15
Auf Lager
SKU
8C63HTDU0BJ
1 Verfügbar 
Geliefert zwischen Do., 20.11.2025 und Fr., 21.11.2025
Details
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.
Inhalt
Modelling.- Verification.- Logics.- Semantics.- Types.- Choreographies.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783031208713
- Editor José Proença, Silvia Lizeth Tapia Tarifa
- Sprache Englisch
- Auflage 1st edition 2022
- Größe H235mm x B155mm x T15mm
- Jahr 2022
- EAN 9783031208713
- Format Kartonierter Einband
- ISBN 3031208714
- Veröffentlichung 03.11.2022
- Titel Formal Aspects of Component Software
- Untertitel 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
- Gewicht 394g
- Herausgeber Springer International Publishing
- Anzahl Seiten 256
- Lesemotiv Verstehen
- Genre Linguistics & Literature
Bewertungen
Schreiben Sie eine Bewertung
