Grid  List

  1. Verification of Object-Oriented Software. The KeY Approach
    0 %
    Ebook
    Sofort lieferbar

    Long gone are the days when program veri?cation was a task carried out merely by hand with paper ...

    Unser bisheriger Preis:ORGPRICE: 118,99 €

    Jetzt 115,62 €Ebook
    Alle Preise inkl. MwSt
  2. Deductive Software Verification - The KeY Book
    0 %
    Ebook
    Sofort lieferbar

    Static analysis of software with deductive methods is a highly dynamic field of research on the v...

    Unser bisheriger Preis:ORGPRICE: 141,46 €

    Jetzt 141,45 €Ebook
    Alle Preise inkl. MwSt
  3. Formal Verification of Object-Oriented Software
    0 %
    Ebook
    Sofort lieferbar

    This book presents the thoroughly refereed post-conference proceedings of the International Confe...

    Unser bisheriger Preis:ORGPRICE: 51,36 €

    Jetzt 51,35 €Ebook
    Alle Preise inkl. MwSt
  4. Formal Methods for Components and Objects
    0 %
    Ebook
    Sofort lieferbar

    Formal methods have been applied successfully to the verification of medium-sized programs in pro...

    Unser bisheriger Preis:ORGPRICE: 57,60 €

    Jetzt 57,59 €Ebook
    Alle Preise inkl. MwSt
  5. Tests and Proofs
    0 %
    Ebook
    Sofort lieferbar

    This volume contains the research papers, invited papers, and abstracts of - torials presented at...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  6. Formal Verification of Object-Oriented Software
    0 %
    Ebook
    Sofort lieferbar

    This book presents the thoroughly refereed post-conference proceedings of the International Confe...

    Unser bisheriger Preis:ORGPRICE: 57,78 €

    Jetzt 57,77 €Ebook
    Alle Preise inkl. MwSt
  7. Electronic Voting
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 4th International Conference on Electronic Voting, E...

    Unser bisheriger Preis:ORGPRICE: 63,72 €

    Jetzt 63,71 €Ebook
    Alle Preise inkl. MwSt
  8. Deductive Software Verification: Future Perspectives
    0 %
    Ebook
    Sofort lieferbar

    This book presents reflections on the occasion of 20 years on the KeY project that focuses on ded...

    Unser bisheriger Preis:ORGPRICE: 57,35 €

    Jetzt 57,34 €Ebook
    Alle Preise inkl. MwSt
  9. Electronic Voting
    0 %
    Ebook
    Sofort lieferbar

    This book constitutes the proceedings of the 5th International Conference on Electronic Voting, E...

    Unser bisheriger Preis:ORGPRICE: 57,59 €

    Jetzt 57,58 €Ebook
    Alle Preise inkl. MwSt
  10. Logic of Software. A Tasting Menu of Formal Methods
    0 %
    Ebook
    Sofort lieferbar

    This Festschrift, dedicated to Reiner Hahnle on the occasion of his 60th birthday, contains paper...

    Unser bisheriger Preis:ORGPRICE: 114,92 €

    Jetzt 114,91 €Ebook
    Alle Preise inkl. MwSt
  11. Taschenbuch
    Print on Demand

    Long gone are the days when program veri?cation was a task carried out merely by hand with paper ...

    106,99 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  12. Taschenbuch
    Print on Demand

    Static analysis of software with deductive methods is a highly dynamic field of research on th...

    128,39 €Taschenbuch
    Alle Preise inkl. MwSt | Versandkostenfrei
  1. 1
  2. 2