Detailsuche

Grid  List

  1. From Software Engineering to Formal Methods and Tools, and Back
    0 %
    From Software Engineering to Formal Methods and Tools, and Back
    Maurice H. ter Beek
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This volume was published in honor of Stefania Gnesi's 65th birthday. The Festschrift volume cont...

    Unser bisheriger Preis:ORGPRICE: 57,27 €

    Jetzt 57,26 €Ebook
    Alle Preise inkl. MwSt
  2. Critical Systems: Formal Methods and Automated Verification
    0 %
    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 F...

    Unser bisheriger Preis:ORGPRICE: 56,51 €

    Jetzt 56,50 €Ebook
    Alle Preise inkl. MwSt
  3. Architecting Dependable Systems VI
    0 %
    Architecting Dependable Systems VI
    Maurice H. ter Beek
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    As software systems become increasingly ubiquitous, issues of dependability become ever more cruc...

    Unser bisheriger Preis:ORGPRICE: 57,12 €

    Jetzt 57,11 €Ebook
    Alle Preise inkl. MwSt
  4. Formal Methods for Industrial Critical Systems
    0 %
    Formal Methods for Industrial Critical Systems
    Maurice H. ter Beek
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 25th International Workshop on Formal Methods for In...

    Unser bisheriger Preis:ORGPRICE: 56,37 €

    Jetzt 56,36 €Ebook
    Alle Preise inkl. MwSt
  5. Integrated Formal Methods
    0 %
    Integrated Formal Methods
    Maurice H. ter Beek
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 17th International Conference on Integrated...

    Unser bisheriger Preis:ORGPRICE: 82,72 €

    Jetzt 82,71 €Ebook
    Alle Preise inkl. MwSt
  6. Web Services and Formal Methods
    0 %
    Web Services and Formal Methods
    Maurice H. ter Beek
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International ...

    Unser bisheriger Preis:ORGPRICE: 50,12 €

    Jetzt 50,11 €Ebook
    Alle Preise inkl. MwSt
  7. Formal Methods - The Next 30 Years
    0 %
    Formal Methods - The Next 30 Years
    Maurice H. ter Beek
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, ...

    Unser bisheriger Preis:ORGPRICE: 57,12 €

    Jetzt 57,11 €Ebook
    Alle Preise inkl. MwSt
  8. Coordination Models and Languages
    0 %
    Coordination Models and Languages
    Maurice H. ter Beek
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference o...

    Unser bisheriger Preis:ORGPRICE: 137,48 €

    Jetzt 137,47 €Ebook
    Alle Preise inkl. MwSt
  9. Formal Methods for Industrial Critical Systems
    0 %
    Formal Methods for Industrial Critical Systems
    Maurice H. ter Beek
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 25th International Workshop on Formal Methods for In...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Integrated Formal Methods
    0 %
    Integrated Formal Methods
    Maurice H. ter Beek
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 17th International Conference on Integra...

    Unser bisheriger Preis:ORGPRICE: 80,24 €

    Jetzt 80,23 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Formal Methods - The Next 30 Years
    0 %
    Formal Methods - The Next 30 Years
    Maurice H. ter Beek
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 201...

    Unser bisheriger Preis:ORGPRICE: 53,49 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Web Services and Formal Methods
    Web Services and Formal Methods
    Maurice H. Ter Beek
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International ...

    49,22 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2