Conte aos seus amigos sobre este item:
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday - Lecture Notes in Computer Science 2019 edition
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday - Lecture Notes in Computer Science
Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering;
574 pages, 91 Illustrations, color; 601 Illustrations, black and white; XIII, 574 p. 692 illus., 91
| Mídia | Livros Paperback Book (Livro de capa flexível e brochura) |
| Lançado | 14 de setembro de 2019 |
| ISBN13 | 9783030309848 |
| Editoras | Springer Nature Switzerland AG |
| Páginas | 574 |
| Dimensões | 150 × 220 × 10 mm · 890 g |
| Idioma | Alemão |
| Editor | Fantechi, Alessandro |
| Editor | Semini, Laura |
| Editor | Ter Beek, Maurice H. |