From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Häftad, Engelska, 2019
AvMaurice H. ter Beek,Alessandro Fantechi,Laura Semini,Maurice H. Ter Beek
709 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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;
Produktinformation
- Utgivningsdatum2019-09-14
- Mått155 x 235 x 32 mm
- Vikt879 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor574
- FörlagSpringer Nature Switzerland AG
- ISBN9783030309848