Grid  List

  1. 19.11.2010

    This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...

    Taschenbuch
    160,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series of...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. 21.06.2005

    This book ?nds new things to do with an old idea. The proofs-as-programs paradigm constitutes a s...

    Gebunden

    Unser bisheriger Preis:ORGPRICE: 185,50 €

    Jetzt 160,49 €
    Besorgungstitel - wird vorgemerkt
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1