We a good story
4.1 / 5 on Trustpilot
Quick delivery in the UK
Trusted Ecommerce Europe
Help
Login
  1. Home
  2. Books
  3. Business & Education
  4. Computing & IT
  5. From Software Engineering to Formal Methods and Tools, and Back

From Software Engineering to Formal Methods and Tools, and Back

- Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

part of the Lecture Notes in Computer Science series

part of the Theoretical Computer Science and General Issues series

From Software Engineering to Formal Methods and Tools, and Back
About From Software Engineering to Formal Methods and Tools, and Back

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;

Show more
  • Language:
  • English
  • ISBN:
  • 9783030309848
  • Binding:
  • Paperback
  • Pages:
  • 574
  • Published:
  • September 14, 2019
  • Edition:
  • 12019
  • Dimensions:
  • 155x235x0 mm.
  • Weight:
  • 890 g.
Delivery: 2-4 weeks
Expected delivery: November 1, 2024

Description of From Software Engineering to Formal Methods and Tools, and Back

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;

User ratings of From Software Engineering to Formal Methods and Tools, and Back



Others also bought..
Find similar books
The book From Software Engineering to Formal Methods and Tools, and Back can be found in the following categories:

Join thousands of book lovers

Sign up to our newsletter and receive discounts and inspiration for your next reading experience.