Grid   List

  1. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    Ahmed Bouajjani
    Springer International Publishing
    Ebook
    Sofort lieferbar

    The 27 full papers together with 3 invited keyn...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  2. Networked Systems

    Networked Systems

    Ahmed Bouajjani
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This bookconstitutes the revised selected paper...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  3. Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Objects, Components, and Systems

    Ahmed Bouajjani
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 37...

    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  4. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Ahmed Bouajjani
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    53,49 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  5. Computer Aided Verification

    Computer Aided Verification

    Ahmed Bouajjani
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    96,29 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  6. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Ahmed Bouajjani
    Springer International Publishing
    Ebook
    Sofort lieferbar

    This book constitutes the refereed proceedings ...

    80,24 €
    Alle Preise inkl. MwSt
    Zum Merkzettel
  7. Formal Techniques for Distributed Objects, Components, and Systems

    Formal Techniques for Distributed Objects, Components, and Systems

    Alexandra Silva
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the proceedings of the 37...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  8. Networked Systems

    Networked Systems

    Hugues Fauconnier
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This bookconstitutes the revised selected paper...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  9. Computer Aided Verification

    Computer Aided Verification

    Oded Maler
    Springer Berlin Heidelberg
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    106,99 €
    Alle Preise inkl. MwSt | zzgl. Versand
    Zum Merkzettel
  10. Verification, Model Checking, and Abstract Interpretation

    Verification, Model Checking, and Abstract Interpretation

    David Monniaux
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    53,49 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  11. Automated Technology for Verification and Analysis

    Automated Technology for Verification and Analysis

    Ahmed Bouajjani
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Print on Demand

    This book constitutes the refereed proceedings ...

    80,24 €
    Alle Preise inkl. MwSt| Versandkostenfrei
    Zum Merkzettel
  1. 1
Google Plus
Powered by Inooga