Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Tools and Algorithms for the Construction and Analysis of Systems
    Tools and Algorithms for the Construction and Analysis of Systems
    Nicolas Halbwachs
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of So...

    106,99 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Lenore D. Zuck
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This volume contains the proceedings of the 4th International Conference on Veri?cation, Model Ch...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1