Software Engineering and Formal Methods

Author : Javier Camara,Martin Steffen

Paperback

Published : Thursday 10 September 2020

ISBN : 9783030575052

Price : €70.19

Description

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;

You may also like ...

Software Engineering and Formal Methods

by Javier Camara,Martin Steffen

Paperback

10 Sep 2020

Algorithms and data structures

€70.19

Extended stock – Dispatch 5-7 days

Pre-Order

I Talk about It All the Time

by Camara Lundestad Joof,Noble Olivia Gunn

Paperback

31 Jul 2024

Individual actors and performers

€22.17

Pre-Order

The Human Body

by Christian Camara,Jeremie Claeys

Paperback

28 Aug 2020

Childrens interactive and activity books and kits

€11.69

Extended stock – Dispatch 5-7 days

Permission Granted

by Melissa Camara Wilkins

Paperback

12 Dec 2019

Christian life and practice

€16.37

Extended stock – Dispatch 5-7 days

Reviews