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,84 €

    Jetzt 3,83 €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,84 €

    Jetzt 3,83 €Ebook
    Alle Preise inkl. MwSt
  3. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Natasha Sharygina
    Springer Nature Switzerland, Springer Nature Switzerland
    Taschenbuch
    Print on Demand

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

    42,79 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Natasha Sharygina
    Springer Nature Switzerland, Springer Nature Switzerland
    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
  5. Automated Technology for Verification and Analysis
    0 %
    Automated Technology for Verification and Analysis
    S Akshay
    Springer, Berlin, Springer Nature Switzerland, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 160,49 €

    Jetzt 160,47 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Automated Technology for Verification and Analysis
    0 %
    Automated Technology for Verification and Analysis
    S Akshay
    Springer, Berlin, Springer Nature Switzerland, Springer
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 139,09 €

    Jetzt 139,08 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1