Opening book details…
Can I read 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 (11865)) on EtoBox?
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 (11865)) by Maurice H. ter Beek; Alessandro Fantechi; Laura Semini; Stefania Gnesi is a computer science book available to read on EtoBox.
What is 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 (11865)) about?
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ord
Who reads 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 (11865))?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Maurice H. ter Beek; Alessandro Fantechi; Laura Semini; Stefania Gnesi
- Publisher
- Springer International Publishing : Imprint : Springer
- Published
- 2019
- Language
- EN
- ISBN
- 9783030309848
- Category
- computer science
- Subjects
- Engineering, Language Learning, Programming
- Updated
- 2026-03-25
More by Maurice H. ter Beek; Alessandro Fantechi; Laura Semini; Stefania Gnesi
Browse all works by Maurice H. ter Beek; Alessandro Fantechi; Laura Semini; Stefania Gnesi
Similar books
- Models, Languages, and Tools for Concurrent and Distributed Programming: Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday (Lecture Notes in Computer Science) — Michele Boreale; Flavio Corradini; Michele Loreti; Rosario Pugliese; Rocco De Nicola (2019)
- Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 5533) — Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (2009)
- Software Service And Application Engineering: Essays Dedicated To Bernd Krämer On The Occasion Of His 65th Birthday (lecture Notes In Computer Science) — Wolfgang Reisig (auth.), Maritta Heisel (2012)
- Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays Dedicated to Michael Gelfond on the Occasion of His 65th Birthday (Lecture Notes in Computer Science (6565)) — Jack Minker (auth.), Marcello Balduccini, Tran Cao Son (2011)
- Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 5065) — Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), (2008)
- Concurrent Objects And Beyond: Papers Dedicated To Akinori Yonezawa On The Occasion Of His 65th Birthday (lecture Notes In Computer Science) — Gul Agha, Atsushi Igarashi, Naoki Kobayashi, Hidehiko Masuhara, Satoshi Matsuoka, Etsuya Shibayama, and Kenjiro Taura (2014)