Mein Konto
Erweiterte Suche
Categories

Grid   List

  1. Verification, Model Checking, and Abstract Interpretation
    Verification, Model Checking, and Abstract Interpretation
    Roberto Giacobazzi
    Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 14th International Conference on Verificati...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  2. Static Analysis
    Static Analysis
    Roberto Giacobazzi
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    Invited Talks.- Injecting Life with Computers.- The Blast Query Language for Software Verificatio...

    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  3. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
    Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
    Roberto Giacobazzi
    Palgrave Macmillan
    Taschenbuch
    BOD - 2 Tage

    This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains...

    139,09 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  4. Static Analysis
    Static Analysis
    Roberto Giacobazzi
    Springer, Springer
    Taschenbuch
    BOD - 2 Tage

    This book constitutes the refereed proceedings of the 31st International Static Analysis Symposiu...

    85,59 €
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1