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
    Sriram Sankaranarayanan
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 3,76 €

    Jetzt 3,75 €Ebook
    Alle Preise inkl. MwSt
  2. Tools and Algorithms for the Construction and Analysis of Systems
    0 %
    Tools and Algorithms for the Construction and Analysis of Systems
    Sriram Sankaranarayanan
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 3,79 €

    Jetzt 3,78 €Ebook
    Alle Preise inkl. MwSt
  3. Verification, Model Checking, and Abstract Interpretation
    0 %
    Verification, Model Checking, and Abstract Interpretation
    Sriram Sankaranarayanan
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Con...

    Unser bisheriger Preis:ORGPRICE: 63,57 €

    Jetzt 63,56 €Ebook
    Alle Preise inkl. MwSt
  4. Verification, Model Checking, and Abstract Interpretation
    0 %
    Verification, Model Checking, and Abstract Interpretation
    Sriram Sankaranarayanan
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International Con...

    Unser bisheriger Preis:ORGPRICE: 63,29 €

    Jetzt 63,28 €Ebook
    Alle Preise inkl. MwSt
  5. Automated Technology for Verification and Analysis
    0 %
    Automated Technology for Verification and Analysis
    S. Akshay
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sym...

    Unser bisheriger Preis:ORGPRICE: 140,13 €

    Jetzt 140,12 €Ebook
    Alle Preise inkl. MwSt
  6. Automated Technology for Verification and Analysis
    0 %
    Automated Technology for Verification and Analysis
    S. Akshay
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar

    The two-volume set 15054-15055 constitutes the refereed proceedings of the 22nd International Sym...

    Unser bisheriger Preis:ORGPRICE: 165,66 €

    Jetzt 165,65 €Ebook
    Alle Preise inkl. MwSt
  7. Verification, Model Checking, and Abstract Interpretation
    0 %
    Verification, Model Checking, and Abstract Interpretation
    Krishna Shankaranarayanan
    Springer, Berlin, Springer Nature Switzerland, Springer
    Taschenbuch
    Print on Demand

    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International ...

    Unser bisheriger Preis:ORGPRICE: 62,05 €

    Jetzt 62,04 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Sriram Sankaranarayanan
    Springer, Berlin, Springer Nature Switzerland, ETAPS Society, Springer
    Taschenbuch
    Print on Demand

    This open access book constitutes the proceedings of the 29th International Conference ...

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Sriram Sankaranarayanan
    Springer, Berlin, Springer Nature Switzerland, ETAPS Society, Springer
    Taschenbuch
    Print on Demand

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

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  10. Verification, Model Checking, and Abstract Interpretation
    0 %
    Verification, Model Checking, and Abstract Interpretation
    Krishna Shankaranarayanan
    Springer, Berlin, Springer Nature Switzerland, Springer
    Taschenbuch
    Print on Demand

    The two-volume set LNCS 15529 and 15530 constitutes the proceedings of the 26th International ...

    Unser bisheriger Preis:ORGPRICE: 62,05 €

    Jetzt 62,04 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2