mehr als bücher

Grid  List

  1. Formal Modeling and Analysis of Timed Systems
    Formal Modeling and Analysis of Timed Systems
    Sriram Sankaranarayanan
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    53,49 €*
  2. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Sriram Sankaranarayanan
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt
    42,79 €*
  3. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Sriram Sankaranarayanan
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    42,79 €*
  4. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    S Akshay
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    160,49 €*
  5. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    S Akshay
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    139,09 €*
  6. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Krishna Shankaranarayanan
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    62,05 €*
  7. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Krishna Shankaranarayanan
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

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

    62,05 €*
  1. 1