Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Computer Aided Verification
    Computer Aided Verification
    Ahmed Bouajjani
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 21st International Conference on Computer A...

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

    This book constitutes the refereed proceedings of the 18th International Conference on Verificati...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Formal Techniques for Distributed Objects, Components, and Systems
    Formal Techniques for Distributed Objects, Components, and Systems
    Ahmed Bouajjani
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the proceedings of the 37th IFIP WG 6.1 International Conference on Formal ...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Networked Systems
    Networked Systems
    Ahmed Bouajjani
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This bookconstitutes the revised selected papers of the Third International Conferenceon Networke...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Automated Technology for Verification and Analysis
    Automated Technology for Verification and Analysis
    Luká¿ Holík
    Springer
    Taschenbuch
    BOD - 2 Tage

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

    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1