Grid   List

  1. Verified Software. Theories, Tools, and Experiments

    Ebook
    Sofort lieferbar

    This volume constitutes the thoroughly refereed...

    53,49 €
    Alle Preise inkl. MwSt
  2. Interactive Theorem Proving

    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
  3. Static Analysis

    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
  4. 53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  5. Sémantiques formelles

    Taschenbuch
    Print on Demand

    Ce livre introduit les sémantiques formelles et...

    50,94 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  6. Static Analysis

    Taschenbuch
    Print on Demand

    This book constitutes the refereedproceedings...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  7. 53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
  1. 1
Google Plus
Powered by Inooga