*Versand Gratis
Erweiterte Suche
*Versand Gratis
Categories

Grid   List

  1. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Sriram Sankaranarayanan
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 13th International Conference on Formal Mod...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Sriram Sankaranarayanan
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Sriram Sankaranarayanan
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    S. Akshay
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    160,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    S. Akshay
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    139,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Krishna Shankaranarayanan
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    62,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Krishna Shankaranarayanan
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

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

    62,05 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1