Hoppa till sidans huvudinnehåll

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

Av Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, Maurice H. Ter Beek

729 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

Tillhör följande kategorier

Hoppa över listan

Du kanske också är intresserad av

Journeys Between Formal Methods and the Railway Industry
  • Nyhet

Journeys Between Formal Methods and the Railway Industry

Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini, Maurice H. Ter Beek

2 039 kr

Critical Systems: Formal Methods and Automated Verification

Critical Systems: Formal Methods and Automated Verification

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp, Maurice H. Ter Beek

729 kr

Formal Methods: Foundations and Applications
  • Nyhet

Formal Methods: Foundations and Applications

Maurice H. ter Beek, Leopoldo Teixeira, Maurice H. Ter Beek

819 kr

Coordination Models and Languages

Coordination Models and Languages

Maurice H. ter Beek, Marjan Sirjani, Maurice H. Ter Beek

1 749 kr

Architecting Dependable Systems VI

Architecting Dependable Systems VI

Rogério de Lemos, Jean-Charles Fabre, Cristina Gacek, Fabio Gadducci, Maurice H. ter Beek, Maurice H. Ter Beek

729 kr

Quality of Information and Communications Technology
Del 2178

Quality of Information and Communications Technology

Antonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini, Joao Pascoal Faria, Patricia Pascoal Faria, João

1 799 kr

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Maurice H. ter Beek, Dejan Ničković, Dejan Nickovic, Maurice H. Ter Beek, Dejan Ničkovic, Dejan Ni¿kovi¿

729 kr

Formal Methods – The Next 30 Years

Formal Methods – The Next 30 Years

Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, Jose N. Oliveira, Maurice H. Ter Beek

729 kr

Integrated Formal Methods

Integrated Formal Methods

Maurice H. ter Beek, Rosemary Monahan, Maurice H. Ter Beek

1 099 kr

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
  • Nyhet

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte, Maurice H. Ter Beek

989 kr