Detailsuche

Grid  List

  1. 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,76 €

    Jetzt 3,75 €Ebook
    Alle Preise inkl. MwSt
  2. 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,47 €

    Jetzt 149,79 €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,78 €

    Jetzt 3,77 €Ebook
    Alle Preise inkl. MwSt
  4. 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: 81,44 €

    Jetzt 81,43 €Ebook
    Alle Preise inkl. MwSt
  5. Runtime Verification
    0 %
    Runtime Verification
    Lu Feng
    Springer, Berlin, Springer International Publishing, Springer
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 80,24 €

    Jetzt 80,23 €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
    Dana Fisman
    Springer, Berlin, Springer International Publishing, ETAPS community, Springer
    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
    Dana Fisman
    Springer, Berlin, Springer International Publishing, ETAPS Society, Springer
    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