Items related to Formal Aspects of Component Software: 18th International...
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings: 13712 (Lecture Notes in Computer Science, 13712) - Softcover
Synopsis
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.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2022
- ISBN 10 3031208714
- ISBN 13 9783031208713
- BindingPaperback
- LanguageEnglish
- Edition number1
- Number of pages255
- EditorTapia Tarifa Silvia Lizeth, Proença José
Search results for Formal Aspects of Component Software: 18th International...
Stock Image
Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783031208713
Quantity: 10 available
Stock Image
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031208713_new
Quantity: Over 20 available
Seller Image
Formal Aspects of Component Software
Published by
Springer International Publishing Nov 2022, 2022
ISBN 10: 3031208714
ISBN 13: 9783031208713
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly revised selected papers from the18th 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. 256 pp. Englisch. Seller Inventory # 9783031208713
Quantity: 2 available
Seller Image
Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10¿11, 2022, Proceedings
Published by
Springer International Publishing, 2022
ISBN 10: 3031208714
ISBN 13: 9783031208713
New
Taschenbuch
Seller: AHA-BUCH GmbH, Einbeck, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly revised selected papers from the18th 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. Seller Inventory # 9783031208713
Quantity: 1 available
Seller Image
Formal Aspects of Component Software
Published by
Springer, Berlin|Springer International Publishing|Springer, 2023
ISBN 10: 3031208714
ISBN 13: 9783031208713
New
Softcover
Seller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 727139209
Quantity: Over 20 available
Stock Image
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings (Lecture Notes in Computer Science)
Seller: California Books, Miami, FL, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # I-9783031208713
Quantity: Over 20 available
Stock Image
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 1011, 2022, Proceedings: 13712 (Lecture Notes in Computer Science, 13712)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 255 pages. 9.25x6.10x0.75 inches. In Stock. Seller Inventory # x-3031208714
Quantity: 2 available
Stock Image
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10?11, 2022, Proceedings (Lecture Notes in Computer Science, 13712)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 401163120
Quantity: 4 available
Seller Image
Formal Aspects of Component Software
ISBN 10: 3031208714
ISBN 13: 9783031208713
New
Taschenbuch
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. Neuware -This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 256 pp. Englisch. Seller Inventory # 9783031208713
Quantity: 2 available
Stock Image
Formal Aspects of Component Software: 18th International Conference, FACS 2022, Virtual Event, November 10?11, 2022, Proceedings (Lecture Notes in Computer Science, 13712)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2022 edition NO-PA16APR2015-KAP. Seller Inventory # 26396295343
Quantity: 4 available