Grid   List

  1. Taschenbuch
    Sofort lieferbar

    This book constitutes the refereed proceedings of the 23rd International Conference on Computer A...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Taschenbuch
    BOD - 2 Tage

    Minimalist Proof Assistants: Interactions of Technology and Methodology in Formal System Level Ve...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Taschenbuch
    BOD - 2 Tage

    It takes more e?ort to verify that digital system designs are correct than it does to design them...

    97,89 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Taschenbuch
    BOD - 2 Tage

    This volume constitutes the proceedings of the 17th International Conference on Theorem Proving i...

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