From Software Engineering to Formal Methods and Tools, and Back
Springer Nature Switzerland AG, 2019
66,50 €On orderDelivery: 2-3 weeks
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;
- ISBN-13
- 9783030309848
- ISBN-10
- 3030309843
- Publisher
- Springer Nature Switzerland AG
- Year
- 2019
- Publication date
- 2019-09-14
- Pages
- 574
- Dimensions
- 235x155x