Tell your friends about this item:
Software Engineering and Formal Methods 1st ed. 2018 edition
Software Engineering and Formal Methods
This book constitutes revised selected papers from the five workshops collocated with the 15th International Conference on Software Engineering and Formal Methods, SEFM 2017. FAACS 2017 -- 1st Workshop on Formal Approaches for Advanced Computing Systems;
592 pages, 204 Illustrations, black and white; X, 592 p. 204 illus.
| Media | Books Book |
| Released | February 3, 2018 |
| ISBN13 | 9783319747804 |
| Publishers | Springer International Publishing AG |
| Pages | 592 |
| Dimensions | 150 × 220 × 20 mm · 902 g |
| Language | German |
| Editor | Cerone, Antonio |
| Editor | Roveri, Marco |