mehr als bücher

Grid  List

  1. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Yu-Fang Chen
    Springer Verlag GmbH
    Taschenbuch
    Vorbestellbar

    This book constitutes the proceedings of the 27th International Conference on Verification, Model...

    79,17 €*
  2. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Yu-Fang Chen
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 17th International Symposium on Automated T...

    53,49 €*
  3. Verification and Evaluation of Computer and Communication Systems
    Verification and Evaluation of Computer and Communication Systems
    Belgacem Ben Hedia
    Springer Verlag GmbH
    Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the proceedings of the 14th International Conference on Verication and Eval...

    53,49 €*
  1. 1