Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Akash Lal
    Springer Vieweg
    Taschenbuch
    BOD - 2 Tage

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

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Verified Software. Theories, Tools and Experiments.
    Verified Software. Theories, Tools and Experiments.
    Akash Lal
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 14th International Conference on Verified S...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Computer Aided Verification
    Computer Aided Verification
    Akash Lal
    Springer
    Taschenbuch
    BOD - 2 Tage

    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of ...

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Computer Aided Verification
    Computer Aided Verification
    Akash Lal
    Springer
    Taschenbuch
    BOD - 2 Tage

    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of ...

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Computer Aided Verification
    Computer Aided Verification
    Akash Lal
    Springer
    Taschenbuch
    BOD - 2 Tage

    The open access proceedings set LNCS 13964, 13965, 13966 constitutes the refereed proceedings of ...

    42,79 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1