Grid   List

  1. Electronic Voting
    -0 %

    Electronic Voting

    Bernhard Beckert
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 62,77 €

    Jetzt 62,76 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  2. Formal Verification of Object-Oriented Software
    -0 %

    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 Confe...

    Unser bisheriger Preis:ORGPRICE: 56,18 €

    Jetzt 56,17 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  3. Formal Verification of Object-Oriented Software
    -0 %

    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 Confe...

    Unser bisheriger Preis:ORGPRICE: 50,12 €

    Jetzt 50,11 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  4. Verification of Object-Oriented Software. The KeY Approach
    -0 %

    Verification of Object-Oriented Software. The KeY Approach

    Bernhard Beckert
    Springer Berlin Heidelberg
    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 113,29 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  5. Deductive Software Verification: Future Perspectives
    -0 %

    Deductive Software Verification: Future Perspectives

    Wolfgang Ahrendt
    Springer International Publishing
    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: 56,49 €

    Jetzt 56,48 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  6. Formal Methods for Components and Objects
    -0 %

    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 pro...

    Unser bisheriger Preis:ORGPRICE: 57,23 €

    Jetzt 57,22 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  7. Deductive Software Verification - The KeY Book
    -0 %

    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 v...

    Unser bisheriger Preis:ORGPRICE: 138,63 €

    Jetzt 138,62 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  8. Electronic Voting
    -0 %

    Electronic Voting

    Bernhard Beckert
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 57,18 €

    Jetzt 57,17 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  9. Logic of Software. A Tasting Menu of Formal Methods
    -0 %

    Logic of Software. A Tasting Menu of Formal Methods

    Wolfgang Ahrendt
    Springer International Publishing
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 113,81 €

    Jetzt 113,80 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  10. Tests and Proofs
    -0 %

    Tests and Proofs

    Bernhard Beckert
    Springer Berlin Heidelberg
    Ebook
    Sofort lieferbar

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

    Unser bisheriger Preis:ORGPRICE: 56,25 €

    Jetzt 56,24 €
    Alle Preise inkl. MwSt
    In den Warenkorb
    Zum Merkzettel
  1. 1