bernhard beckert

Grid   List

  1. Formal Verification of Object-Oriented Software
    Formal Verification of Object-Oriented Software
    Bernhard Beckert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in Ju...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  2. Electronic Voting
    Electronic Voting
    Robert Krimmer
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 4th International Conference on Electronic Voting, E-Vote-ID 2019, held in Bregenz, Austria, in October 2019. The 13 revised full papers presented were ...
    60,98 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  3. Tests and Proofs
    Tests and Proofs
    Bernhard Beckert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book constitutes the refereed proceedings of the Second International Conference on Test and Proofs, TAP 2008, held in Prato, Italy, in April 2008.
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  4. Deductive Software Verification - The KeY Book
    Deductive Software Verification - The KeY Book
    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio o...
    117,69 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  5. Formal Verification of Object-Oriented Software
    Formal Verification of Object-Oriented Software
    Bernhard Beckert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in Oct...
    48,14 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  6. Verification of Object-Oriented Software. The KeY Approach
    Verification of Object-Oriented Software. The KeY Approach
    Bernhard Beckert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the software engineering process. Our society re...
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  7. Automated Reasoning with Analytic Tableaux and Related Methods
    Automated Reasoning with Analytic Tableaux and Related Methods
    Bernhard Beckert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Automated Reasoning with Analytic Tableaux and Related Methods
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  8. Formal Methods for Components and Objects
    Formal Methods for Components and Objects
    Bernhard Beckert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar
    Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the development of large syst...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  9. Electronic Voting
    Electronic Voting
    Robert Krimmer
    Springer International Publishing
    Ebook
    Sofort lieferbar
    This book constitutes the proceedings of the 5th International Conference on Electronic Voting, E-Vote-ID 2020, held online -due to COVID -19- in Bregenz, Austria, in October 2020. The 14 full pape...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  10. Deductive Software Verification: Future Perspectives
    Deductive Software Verification: Future Perspectives
    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar
    Since the inception of the KeY project two decades ago, the area of deductive verification has evolved considerably. Support for real world programming languages by deductive program verification t...
    53,49 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  11. The Logic of Software. A Tasting Menu of Formal Methods
    The Logic of Software. A Tasting Menu of Formal Methods
    Wolfgang Ahrendt
    Springer Nature Switzerland
    Ebook
    Sofort lieferbar
    This Festschrift, dedicated to Reiner Hähnle on the occasion of his 60th birthday, contains papers written by many of his closest collaborators.
    96,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb Zum Merkzettel
  12. Deductive Software Verification - The KeY Book
    Deductive Software Verification - The KeY Book
    Wolfgang Ahrendt
    Springer International Publishing, Springer International Publishing
    Taschenbuch
    Bezug 11-15
    Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfoli...
    128,39 €
    Alle Preise inkl. MwSt | Versandkostenfrei
    In den Warenkorb Zum Merkzettel
  1. 1
  2. 2
<%--for search--%>