Erweiterte Suche

Grid  List

  1. Practical Aspects of Declarative Languages Practical Aspects of Declarative Languages

    Practical Aspects of Declarative Languages

    Manuel Hermenegildo
    Springer, Springer
    14.01.2005

    The International Symposium on Practical Aspects of Declarative Languages (PADL) is a forum for r...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Programming Language Implementation and Logic Programming Programming Language Implementation and Logic Programming

    Programming Language Implementation and Logic Programming

    Manuel Hermenegildo
    Springer, Springer
    24.08.1994

    This volume constitutes the proceedings of the 6th International Symposium on Programming Languag...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Functional and Logic Programming Functional and Logic Programming

    Functional and Logic Programming

    Jacques Garrigue
    Springer, Springer
    28.03.2008

    This volume contains the proceedings of the 9th International Symposium on Functional and Logic P...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Verification, Model Checking, and Abstract Interpretation Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Gilles Barthe
    Springer, Berlin, Springer

    This volume contains the proceedings of the 11th International Conference on Veri?cation, Model C...

    Taschenbuch

    Unser bisheriger Preis:ORGPRICE: 96,29 €

    Jetzt 53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  5. Static Analysis Static Analysis

    Static Analysis

    Manuel Hermenegildo
    Springer, Springer
    06.09.2002

    Staticanalysisisaresearchareaaimedatdevelopingprinciplesandtoolsfor- ri?cation and semantics-base...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  6. Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation

    Logic-Based Program Synthesis and Transformation

    Manuel V Hermenegildo
    Springer, Springer
    25.07.2017

    This book constitutes the thoroughly refereed post-conference proceedings of the 26th Internation...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  7. Programming Languages: Implementations, Logics and Programs Programming Languages: Implementations, Logics and Programs

    Programming Languages: Implementations, Logics and Programs

    Manuel Hermenegildo
    Springer, Springer
    11.09.1995

    This book constitutes the proceedings of the Seventh International Symposium on Programming Langu...

    Taschenbuch
    53,49 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  8. Prolog: The Next 50 Years Prolog: The Next 50 Years

    Prolog: The Next 50 Years

    David S. Warren
    Springer, Springer
    17.06.2023

    This volume was motivated by the Year of Prolog initiative, launched to celebrate the 50th annive...

    Taschenbuch
    85,59 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  9. Static Analysis Static Analysis

    Static Analysis

    Manuel V. Hermenegildo
    Springer, Springer
    24.10.2023

    This book constitutes the refereed proceedings of the 30th International Symposium on Static Anal...

    Taschenbuch
    87,73 €
    Print on Demand
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1