Marknadens största urval
Fri frakt över 199 kr
Snabb leverans
Hjälp
Logga in
  1. Hem
  2. Böcker
  3. Företagande & lärande
  4. Data & 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

del av Lecture Notes in Computer Science-serien

del av Theoretical Computer Science and General Issues-serien

From Software Engineering to Formal Methods and Tools, and Back
Om 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;

Visa mer
  • Språk:
  • Engelska
  • ISBN:
  • 9783030309848
  • Format:
  • Häftad
  • Sidor:
  • 574
  • Utgiven:
  • 14 September 2019
  • Utgåva:
  • 12019
  • Mått:
  • 155x235x0 mm.
  • Vikt:
  • 890 g.
Leveranstid: 2-4 veckor
Förväntad leverans: 30 Oktober 2024

Beskrivning av 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;

Användarnas betyg av From Software Engineering to Formal Methods and Tools, and Back



Andra köpte även...
Hitta liknande böcker
Boken From Software Engineering to Formal Methods and Tools, and Back finns i följande kategorier:

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.