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-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructi...
    149,79 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss co...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  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 set of approaches to developing programs from proofs in constructive logic. It has been over thirty y...
    184,13 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  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 ofsuccessful eventsthat havegrowninto the main forum for industrial and academic experts to discuss co...
    64,23 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
<%--for search--%>