Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Author Bernhard Beckert

15 products
Binding
11
4
Price
Availability
4
10
1
Date of issue
?
Logic of Software. A Tasting Menu of Formal Methods Einar Broch Johnsen / Paperback
common.buy 102.86 €
Formal Verification of Object-Oriented Software Bernhard Beckert / Paperback
common.buy 58.50 €
Tests and Proofs Bernhard Beckert / Paperback
common.buy 51.63 €
Electronic Voting Robert Krimmer / Paperback
common.buy 59.81 €
Logic of Software. A Tasting Menu of Formal Methods Wolfgang Ahrendt / Adobe ePub DRM
common.buy 119.54 €
Electronic Voting Robert Krimmer / Adobe ePub DRM
common.buy 60.02 €
Electronic Voting Robert Krimmer / Adobe ePub DRM
common.buy 66.79 €
Verification of Object-Oriented Software. The KeY Approach Bernhard Beckert / Paperback
common.buy 102.86 €
Formal Verification of Object-Oriented Software Bernhard Beckert / Paperback
common.buy 47.48 €
Deductive Software Verification: Future Perspectives Bernhard Beckert / Paperback
common.buy 51.63 €
Electronic Voting Melanie Volkamer / Paperback
common.buy 51.63 €
Formal Methods for Components and Objects Bernhard Beckert / Paperback
common.buy 51.63 €
Automated Reasoning with Analytic Tableaux and Related Methods Bernhard Beckert / Paperback
common.buy 51.63 €
Deductive Software Verification - The KeY Book Wolfgang Ahrendt / Paperback
common.buy 123.38 €
Deductive Software Verification: Future Perspectives Wolfgang Ahrendt / Adobe ePub DRM
common.buy 60.02 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account