Detailsuche

Grid  List

  1. A Practical Introduction to PSL
    0 %
    A Practical Introduction to PSL
    Cindy Eisner
    Springer US
    Ebook
    Sofort lieferbar

    Functional veri?cation is hard. Period. No disagreement here. But why is this so? Consider today’...

    Unser bisheriger Preis:ORGPRICE: 166,40 €

    Jetzt 149,79 €Ebook
    Alle Preise inkl. MwSt
  2. Runtime Verification
    0 %
    Runtime Verification
    Lu Feng
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 21st International Conference on Runtime Ve...

    Unser bisheriger Preis:ORGPRICE: 83,32 €

    Jetzt 83,31 €Ebook
    Alle Preise inkl. MwSt
  3. 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
  4. 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
  5. Runtime Verification
    Runtime Verification
    Dana Fisman
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings of the 21st International Conference on Runtime Ve...

    80,24 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. 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
  7. 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