Tell your friends about this 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
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 14, 2019 |
| ISBN13 | 9783030309848 |
| Publishers | Springer Nature Switzerland AG |
| Pages | 574 |
| Dimensions | 150 × 220 × 10 mm · 890 g |
| Language | German |
| Editor | Fantechi, Alessandro |
| Editor | Semini, Laura |
| Editor | Ter Beek, Maurice H. |