Your search returned 4 results.

Not what you expected? Check for suggestions

Results
1.	Image from Amazon.com	Deductive Software Verification � The KeY Book by Wolfgang Ahrendt Bernhard Beckert Richard Bubel Series: Lecture Notes in Computer Science Edition: 1st ed. 2016 Material type: Computer file; Format: electronic Publication details: Springer ; 2016 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
2.	Image from Amazon.com	Deductive Software Verification: Future Perspectives by Wolfgang Ahrendt Bernhard Beckert Richard Bubel Series: Lecture Notes in Computer Science Edition: 1st ed. 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
3.	Image from Amazon.com	Electronic Voting by Robert Krimmer Bernhard Beckert Melanie Volkamer Series: Lecture Notes in Computer Science Edition: 1st ed. 2020 Material type: Computer file; Format: electronic Publication details: springer ; 2020 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)
4.	Image from Amazon.com	The Logic of Software. A Tasting Menu of Formal Methods by Wolfgang Ahrendt Bernhard Beckert Richard Bubel Series: Lecture Notes in Computer Science Edition: 1st ed. 2022 Material type: Computer file; Format: electronic Publication details: Springer ; 2022 Online resources: Click here to access online Availability: Items available for reference: EBOOKS: Not for loan (1). Save to lists Add to cart (remove)