Grid   List

  1. Adapting Proofs-as-Programs
    -0 %

    Adapting Proofs-as-Programs

    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 €
    Alle Preise inkl. MwSt
  2. Component-Based Software Engineering
    -0 %

    Component-Based Software Engineering

    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 €
    Alle Preise inkl. MwSt
  1. 1