Grid  List

  1. 08.10.2002

    The automatic verification of large parts of mathematics has been an aim of many mathematicians f...

    Taschenbuch
    55,60 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. 22.09.2008

    This volume contains the proceedings of the second working conference on Verified Software: Theor...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 03.08.2006

    This book constitutes the refereed proceedings of the Third International Joint Conference on Aut...

    Taschenbuch
    106,99 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1