Povedzte o tejto položke priateľom:
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.
| Médium | Knihy Book |
| Vydané | 03. februára 2018 |
| ISBN13 | 9783319747804 |
| Vydavatelia | Springer International Publishing AG |
| Strany | 592 |
| Rozmery | 150 × 220 × 20 mm · 902 g |
| Jazyk | Nemčina |
| Editor | Cerone, Antonio |
| Editor | Roveri, Marco |