stefania gnesi

Grid   List

  1. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Stefania Gnesi
    John Wiley & Sons
    Ebook
    Sofort lieferbar
    Today, formal methods are widely recognized as an essential step inthe design process of industrial safety-critical systems. In itsmore general definition, the term formal methods encompasses allno...
    82,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Formal Methods for Industrial Critical Systems
    Formal Methods for Industrial Critical Systems
    Stefania Gnesi
    Wiley
    Ebook
    Sofort lieferbar
    Today, formal methods are widely recognized as an essential step inthe design process of industrial safety-critical systems. In itsmore general definition, the term formal methods encompasses allno...
    82,99 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Stefania Gnesi
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. FM 2016: Formal Methods
    FM 2016: Formal Methods
    John Fitzgerald
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 21st International Symposium on Formal Methods, FM 2016, held in Limassol, Cyprus, in November 2016. The 38 full papers and 11 short papers pre...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Abstract State Machines, Alloy, B, VDM, and Z
    Abstract State Machines, Alloy, B, VDM, and Z
    John Derrick
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented to...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Critical Systems: Formal Methods and Automated Verification
    Critical Systems: Formal Methods and Automated Verification
    Maurice H. Ter Beek
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verificati...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Integrated Formal Methods
    Integrated Formal Methods
    John Derrick
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented toget...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Requirements Engineering: Foundation for Software Quality
    Requirements Engineering: Foundation for Software Quality
    Nazim Madhavji
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 26th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2020, which was due to be held in Pisa, Italy...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Abstract State Machines, Alloy, B, VDM, and Z
    Abstract State Machines, Alloy, B, VDM, and Z
    John Derrick
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the Third International Conference on Abstract State Machines, B, VDM, and Z, which took place in Pisa, Italy, in June 2012. The 20 full papers presented to...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Requirements Engineering: Foundation for Software Quality
    Requirements Engineering: Foundation for Software Quality
    Nazim Madhavji
    Springer International Publishing, Springer Nature Switzerland
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 26th International Working Conference on Requirements Engineering - Foundation for Software Quality, REFSQ 2020, which was due to be held in Pisa, It...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Fundamental Approaches to Software Engineering
    Fundamental Approaches to Software Engineering
    Arend Rensink
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, held as part of the European Joint Conferences on Theory and...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Critical Systems: Formal Methods and Automated Verification
    Critical Systems: Formal Methods and Automated Verification
    Maurice H. Ter Beek
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    This book constitutes the refereed proceedings of the Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and the 16th International Workshop on Automated Verificati...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>