daniel kroening

Grid   List

  1. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Sharon Barner
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Decision Procedures
    Decision Procedures
    Daniel Kroening
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes no answer. Here, the authors focus on theories that are expressive enough to model real problems, ...
    69,54 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Validation of Evolving Software
    Validation of Evolving Software
    Hana Chockler
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It build...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Decision Procedures
    Decision Procedures
    Daniel Kroening
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes no answer. Here, the authors focus on theories that are expressive enough to model real problems, ...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Verified Software: Theories, Tools and Experiments
    Verified Software: Theories, Tools and Experiments
    Dimitra Giannakopoulou
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 ...
    50,28 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Computer Aided Verification
    Computer Aided Verification
    Daniel Kroening
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in Jul...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Computer Aided Verification
    Computer Aided Verification
    Daniel Kroening
    Springer International Publishing
    Ebook
    Sofort lieferbar
    The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th International Conference on Computer Aided Verification, CAV 2015, held in San Francisco, CA, USA, in Jul...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Model Checking, second edition
    Model Checking, second edition
    Edmund M. Clarke
    MIT Press
    Ebook
    Sofort lieferbar
    An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.
    75,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Decision Procedures
    Decision Procedures
    Ofer Strichman
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Buch
    Bezug 11-15
    A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes no answer. Here, the authors focus on theories that are expressive enough to model real problem...
    80,24 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  10. Decision Procedures
    Decision Procedures
    Daniel Kroening
    Springer, Berlin, Springer Berlin Heidelberg, Springer
    Buch
    Bezug 11-15
    A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes no answer. Here, the authors focus on theories that are expressive enough to model real problem...
    81,88 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  11. Validation of Evolving Software
    Validation of Evolving Software
    Hana Chockler
    Springer International Publishing, Springer International Publishing
    Buch
    Bezug 11-15
    This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It build...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  12. Hardware and Software: Verification and Testing
    Hardware and Software: Verification and Testing
    Sharon Barner
    Springer Berlin Heidelberg, Springer Berlin Heidelberg
    Taschenbuch
    Bezug 11-15
    This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.The 10 revised full...
    53,49 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>