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 9.99 €
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 103.16 €
Formal Verification of Object-Oriented Software Bernhard Beckert / Paperback
common.buy 58.67 €
Verification of Object-Oriented Software. The KeY Approach Bernhard Beckert / Paperback
common.buy 103.16 €
Automated Reasoning with Analytic Tableaux and Related Methods Bernhard Beckert / Paperback
common.buy 51.78 €
Tests and Proofs Bernhard Beckert / Paperback
common.buy 51.78 €
Electronic Voting Robert Krimmer / Paperback
common.buy 59.99 €
Electronic Voting Robert Krimmer / Adobe ePub DRM
common.buy 61.20 €
Logic of Software. A Tasting Menu of Formal Methods Wolfgang Ahrendt / Adobe ePub DRM
common.buy 121.81 €
Electronic Voting Robert Krimmer / Adobe ePub DRM
common.buy 67.99 €
Deductive Software Verification: Future Perspectives Bernhard Beckert / Paperback
common.buy 51.78 €
Formal Verification of Object-Oriented Software Bernhard Beckert / Paperback
common.buy 47.62 €
Electronic Voting Melanie Volkamer / Paperback
common.buy 51.78 €
Deductive Software Verification - The KeY Book Wolfgang Ahrendt / Paperback
common.buy 123.73 €
Formal Methods for Components and Objects Bernhard Beckert / Paperback
common.buy 51.78 €
Deductive Software Verification: Future Perspectives Wolfgang Ahrendt / Adobe ePub DRM
common.buy 61.20 €

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?