-82%
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings eBook
Original price was: $49.99.$9.00Current price is: $9.00.
Delivery: Can be download immediately after purchasing. For new customer, we need process for verification from 30 mins to 12 hours.
Version: PDF/EPUB. If you need EPUB and MOBI Version, please send contact us.
Compatible Devices: Can be read on any devices
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.
This is a digital product.
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings and published by Springer. The Digital and eTextbook ISBNs for Formal Aspects of Component Software are 9783030906368, 3030906361 and the print ISBNs are 9783030906351, 3030906353.
Be the first to review “Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings eBook”
You must be logged in to post a review.
Related products
-38%
Bestsellers
eText ISBN: 9781482233902
Original price was: $58.32.$35.93Current price is: $35.93.
-38%
eText ISBN: 9780735642577
Original price was: $23.32.$14.37Current price is: $14.37.
-38%
eText ISBN: 9780133838497
Original price was: $59.98.$36.95Current price is: $36.95.
-38%
Bestsellers
eText ISBN: 9781423209584
Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781423207764
Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781423207788
Original price was: $6.65.$4.10Current price is: $4.10.
-38%
Bestsellers
eText ISBN: 9781111787080
Original price was: $51.65.$31.82Current price is: $31.82.
-38%
Bestsellers
eText ISBN: 9780203489802
Original price was: $58.32.$35.93Current price is: $35.93.
Reviews
There are no reviews yet.