Grid  List

  1. Taschenbuch
    Besorgungstitel - wird vorgemerkt

    InhaltsangabeTutorials and Papers.- Model Checking: A Tutorial Overview.- Theorem Proving for Ver...

    45,96 €*
  2. Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the refereed proceedings of the 6th International Conference on Formal Mode...

    53,49 €*
  3. Taschenbuch
    Besorgungstitel - wird vorgemerkt

    This book constitutes the proceedings of the 12th International Symposium on Automated Technology...

    53,49 €*
  1. 1