|
|
books
| book details |
Formal Aspects of Component Software: 17th International Conference, FACS 2021, Virtual Event, October 28–29, 2021, Proceedings
Edited by Gwen Salaün, Edited by Anton Wijs
|
| on special |
normal price: R 1 934.95
Price: R 1 837.95
|
| book description |
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.
| product details |
Normally shipped |
Publisher | Springer Nature Switzerland AG
Published date | 5 Nov 2021
Language |
Format | Paperback / softback
Pages | 175
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0309-0635-1
Readership Age |
BISAC | computers / programming / software development
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 433.95
Price | R 2 311.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
This is indeed a story of mercy and the redemption it offers.
|
An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?
|
Emil Coetzee, a civil servant in his fifties, is washing blood off his hands when the ceasefire is announced.
|
|
|
|
