Grid   List

  1. Practical Aspects of Declarative Languages

    Practical Aspects of Declarative Languages

    Manuel Hermenegildo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Functional and Logic Programming

    Functional and Logic Programming

    Jacques Garrigue
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Gilles Barthe
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Logic-Based Program Synthesis and Transformation

    Logic-Based Program Synthesis and Transformation

    Manuel V Hermenegildo
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the thoroughly refereed p...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Static Analysis

    Static Analysis

    Manuel Hermenegildo
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Prolog: The Next 50 Years

    Prolog: The Next 50 Years

    David S. Warren
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This volume was motivated by the Year of Prolog...

    80,24 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Static Analysis

    Static Analysis

    Manuel V. Hermenegildo
    Springer International Publishing
    Ebook
    Sofort lieferbar

    Chapter 21 is available open access under a Cre...

    85,59 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  8. Functional and Logic Programming

    Functional and Logic Programming

    Manuel Hermenegildo
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume contains the proceedings of the 9th...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. Practical Aspects of Declarative Languages

    Practical Aspects of Declarative Languages

    Daniel Cabeza
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    claritywas¿AProvablyCorrectCompilerforE?cientMo...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  10. Programming Language Implementation and Logic Programming

    Programming Language Implementation and Logic Programming

    Jaan Penjam
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This volume constitutes the proceedings of the ...

    96,29 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Static Analysis

    Static Analysis

    German Puebla
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    acknowledged.

    106,99 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  12. Logic-Based Program Synthesis and Transformation

    Logic-Based Program Synthesis and Transformation

    Pedro Lopez-Garcia
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the thoroughly refereed p...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
  2. 2
Google Plus
Powered by Inooga