Detailsuche

Grid  List

  1. Algebraic Methodology and Software Technology
    0 %
    Algebraic Methodology and Software Technology
    Jose Meseguer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 12th International Conference on Algebraic ...

    Unser bisheriger Preis:ORGPRICE: 57,46 €

    Jetzt 57,45 €Ebook
    Alle Preise inkl. MwSt
  2. Formal Approaches to Software Testing and Runtime Verification
    0 %
    Formal Approaches to Software Testing and Runtime Verification
    Klaus Havelund
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Software validation is one of the most cost-intensive tasks in modern software production process...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  3. Formal Techniques for Distributed Systems
    0 %
    Formal Techniques for Distributed Systems
    Holger Giese
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,45 €

    Jetzt 57,44 €Ebook
    Alle Preise inkl. MwSt
  4. Runtime Verification
    0 %
    Runtime Verification
    Howard Barringer
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    Unser bisheriger Preis:ORGPRICE: 57,45 €

    Jetzt 57,44 €Ebook
    Alle Preise inkl. MwSt
  5. Model Checking Software
    0 %
    Model Checking Software
    Owolabi Legunsen
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 28th International Symposium on Model Check...

    Unser bisheriger Preis:ORGPRICE: 114,94 €

    Jetzt 114,93 €Ebook
    Alle Preise inkl. MwSt
  6. Tools and Algorithms for the Construction and Analysis of Systems
    0 %
    Tools and Algorithms for the Construction and Analysis of Systems
    Dana Fisman
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This open access book constitutes the proceedings of the 28th International Conference on Tools a...

    Unser bisheriger Preis:ORGPRICE: 3,81 €

    Jetzt 3,80 €Ebook
    Alle Preise inkl. MwSt
  7. Tools and Algorithms for the Construction and Analysis of Systems
    0 %
    Tools and Algorithms for the Construction and Analysis of Systems
    Dana Fisman
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This open access book constitutes the proceedings of the 28th International Conference on Tools a...

    Unser bisheriger Preis:ORGPRICE: 3,82 €

    Jetzt 3,81 €Ebook
    Alle Preise inkl. MwSt
  8. Algebraic Methodology and Software Technology
    Algebraic Methodology and Software Technology
    Grigore Rosu
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 12th International Conference on Algebraic ...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Formal Approaches to Software Testing and Runtime Verification
    Formal Approaches to Software Testing and Runtime Verification
    Klaus Havelund
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    Software validation is one of the most cost-intensive tasks in modern software production process...

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Formal Techniques for Distributed Systems
    Formal Techniques for Distributed Systems
    Grigore Rosu
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

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

    53,49 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  11. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Grigore Rosu
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access book constitutes the proceedings of the 28th International Conference on Tool...

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Grigore Rosu
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This open access book constitutes the proceedings of the 28th International Conference on Tool...

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2