|
|
books
| book details |
Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6–10, 2021, Revised Selected Papers
Edited by Antonio Cerone, Edited by Marco Autili, Edited by Alessio Bucaioni, Edited by Cláudio Gomes, Edited by Pierluigi Graziani, Edited by Maurizio Palmieri, Edited by Marco Temperini, Edited by Gentiane Venture
|
| on special |
normal price: R 1 719.95
Price: R 1 633.95
|
| book description |
This volume constitutes revised selected papers from the four workshops collocated with the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held virtually during December 6–10, 2021. The 21 contributed papers presented in this volume were carefully reviewed and selected from a total of 29 submissions. The book also contains 3 invited talks. SEFM 2021 presents the following four workshops: CIFMA 2021 - 3rd International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications;CoSim-CPS 2021 - 5th Workshop on Formal Co-Simulation of Cyber-Physical Systems;OpenCERT 2021 - 10th International Workshop on Open Community approaches to Education, Research and Technology;ASYDE 2021 - 3rd International Workshop on Automated and verifiable Software sYstem Development. Due to the Corona pandemic this event washeld virtually.
| product details |
Normally shipped |
Publisher | Springer International Publishing AG
Published date | 25 Sep 2022
Language |
Format | Paperback / softback
Pages | 350
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0311-2428-0
Readership Age |
BISAC | computers / computer science
| other options |
Normally shipped |
Readership Age |
Normal Price | R 2 192.95
Price | R 2 083.95
| on special |
|
|
To view the items in your trolley please sign in.
| sign in |
|
|
|
| specials |
|
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.
|
This is indeed a story of mercy and the redemption it offers.
|
|
|
|
