Detailsuche

Grid  List

  1. Adapting Proofs-as-Programs
    0 %
    Adapting Proofs-as-Programs
    Iman Poernomo
    Springer New York
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 162,31 €

    Jetzt 149,79 €Ebook
    Alle Preise inkl. MwSt
  2. Component-Based Software Engineering
    0 %
    Component-Based Software Engineering
    Christine Hofmeister
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series of...

    Unser bisheriger Preis:ORGPRICE: 71,39 €

    Jetzt 57,41 €Ebook
    Alle Preise inkl. MwSt
  3. Adapting Proofs-as-Programs
    0 %
    Adapting Proofs-as-Programs
    Iman Poernomo
    Springer New York
    Taschenbuch
    Print on Demand

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

    Unser bisheriger Preis:ORGPRICE: 160,49 €

    Jetzt 160,47 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Component-Based Software Engineering
    0 %
    Component-Based Software Engineering
    Grace A. Lewis
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Print on Demand

    The 2009 Symposium on Component-Based Software Engineering (CBSE 2009) was the 12thin a series of...

    Unser bisheriger Preis:ORGPRICE: 74,89 €

    Jetzt 53,48 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Adapting Proofs-As-Programs
    0 %
    Adapting Proofs-As-Programs
    Iman Poernomo
    Springer New York
    Buch
    Besorgungstitel - wird vorgemerkt

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

    Unser bisheriger Preis:ORGPRICE: 180,50 €

    Jetzt 160,47 €Buch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1