Profisuche

iman poernomo

Grid   List

  1. Adapting Proofs-as-Programs

    Adapting Proofs-as-Programs

    Iman Poernomo
    Springer US
    Ebook
    Sofort lieferbar

    This monograph details several important advances in the direction of a practical proofs-as-progr...

    149,79 €
    Alle Preise inkl. MwSt
  2. Component-Based Software Engineering

    Component-Based Software Engineering

    Grace A. Lewis
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    53,49 €
    Alle Preise inkl. MwSt
  3. Adapting Proofs-as-Programs

    Adapting Proofs-as-Programs

    Iman Poernomo
    Springer New York, Springer New York
    Taschenbuch
    Bezug 11-15

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

    184,13 €
    Alle Preise inkl. MwSt | zzgl. Versand
  4. Component-Based Software Engineering

    Component-Based Software Engineering

    Grace A. Lewis
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Taschenbuch
    Bezug 11-15

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

    64,23 €
    Alle Preise inkl. MwSt | zzgl. Versand
  1. 1