There's still time! Find the perfect Father's Day gift with store pickup | Shop NowThere's still time! Find the perfect Father's Day gift with store pickup | Shop Now
Add Item to wish listAdd Item to wish list
Read Sample

Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS, OpenCERT, ASYDE, Virtual Event, December 6-10, 2021, Revised Selected Papers

By Antonio Cerone (Editor), Marco Autili (Editor), Alessio Bucaioni (Editor), Cláudio Gomes (Editor), Pierluigi Graziani (Editor), Maurizio Palmieri (Editor), Marco Temperini (Editor), Gentiane Venture (Editor)
Paperback
$54.99
By Antonio Cerone (Editor), Marco Autili (Editor), Alessio Bucaioni (Editor), Cláudio Gomes (Editor), Pierluigi Graziani (Editor), Maurizio Palmieri (Editor), Marco Temperini (Editor), Gentiane Venture (Editor)
Promotion message icon
Premium Members save an extra 10% and all Members collect stamps to save with Rewards. 10 stamps = $5.Learn More
Formats
See All Formats & Editions
In stock
This item is currently out of stock online.
Free standard shipping on orders over $60
Select a store to view item availability.
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: Interd...

Categories

ComputersComputers - General & MiscellaneousComputer ProgrammingGeneral & Miscellaneous ComputingProgramming - General & Miscellaneous