Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings: 13077 (Lecture Notes in Computer Science, 13077) - Softcover
Synopsis
This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.
The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification.
Chapter "A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions" is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
"synopsis" may belong to another edition of this title.
Search results for Formal Aspects of Component Software: 17th International...
Stock Image
Formal Aspects of Component Software (eng)
Print on DemandSeller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Questo è un articolo print on demand. Seller Inventory # TIQTXYVI3W
Buy New
£ 37.95
£ 4.80 shipping
Ships from Italy to U.S.A.
Ships from Italy to U.S.A.
Quantity: Over 20 available
Seller Image
Formal Aspects of Component Software : 17th International Conference, Facs 2021, Virtual Event, October 28?29, 2021, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43991287-n
Seller Image
Formal Aspects of Component Software : 17th International Conference, Facs 2021, Virtual Event, October 28?29, 2021, Proceedings
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 43991287
Stock Image
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings (Programming and Software Engineering)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783030906351_new
Buy New
£ 45.35
£ 11.98 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Aspects of Component Software : 17th International Conference, FACS 2021, Virtual Event, October 28-29, 2021, Proceedings
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9783030906351
Buy New
£ 42.46
£ 15.49 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 10 available
Seller Image
Formal Aspects of Component Software : 17th International Conference, Facs 2021, Virtual Event, October 28?29, 2021, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 43991287-n
Buy New
£ 44.94
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Formal Aspects of Component Software
Published by
Springer International Publishing Nov 2021, 2021
ISBN 10: 3030906353
ISBN 13: 9783030906351
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 188 pp. Englisch. Seller Inventory # 9783030906351
Seller Image
Formal Aspects of Component Software : 17th International Conference, Facs 2021, Virtual Event, October 28?29, 2021, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 43991287
Buy Used
£ 49.86
£ 15 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: Over 20 available
Stock Image
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28?29, 2021, Proceedings (Programming and Software Engineering)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Seller Inventory # 26390224450
Stock Image
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28?29, 2021, Proceedings (Programming and Software Engineering)
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand. Seller Inventory # 389408157
Buy New
£ 60.72
£ 6.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 4 available