Join thousands of book lovers
Sign up to our newsletter and receive discounts and inspiration for your next reading experience.
By signing up, you agree to our Privacy Policy.You can, at any time, unsubscribe from our newsletters.
Software Engineering and Formal Methods
- SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16-20, 2019, Revised Selected Papers
part of the Programming and Software Engineering series
part of the Lecture Notes in Computer Science series
- Binding:
- Paperback
- Pages:
- 277
- Published:
- September 10, 2020
- Edition:
- 12020
- Dimensions:
- 155x235x0 mm.
- Weight:
- 454 g.
Delivery:
2-4 weeks
Expected delivery: October 25, 2024
Description of Software Engineering and Formal Methods
The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. They stem from the following workshops:CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;
User ratings of Software Engineering and Formal Methods
Rate this book
In order to rate this book you must be logged in.Others also bought..
Find similar books
The book Software Engineering and Formal Methods can be found in the following categories:
You can, at any time, unsubscribe from our newsletters.
© 2024 Tales
All packages are shipped from our warehouse in the UK.
Company address: Esromgade 15, 3. - 2200 - DK
Registered company number: DK43351621
