LIBRISTO
LIBROAMANTO
mandatory
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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 39 688 Ft
Formal Verification of Object-Oriented Software Bernhard Beckert / Paperback
common.buy 22 264 Ft
Tests and Proofs Bernhard Beckert / Paperback
common.buy 19 902 Ft
Electronic Voting Robert Krimmer / Paperback
common.buy 23 068 Ft
Electronic Voting Robert Krimmer / Adobe ePub DRM
common.buy 23 655 Ft
Electronic Voting Robert Krimmer / Adobe ePub DRM
common.buy 21 298 Ft
Logic of Software. A Tasting Menu of Formal Methods Wolfgang Ahrendt / Adobe ePub DRM
common.buy 42 373 Ft
Formal Verification of Object-Oriented Software Bernhard Beckert / Paperback
common.buy 18 321 Ft
Electronic Voting Melanie Volkamer / Paperback
common.buy 19 902 Ft
Formal Methods for Components and Objects Bernhard Beckert / Paperback
common.buy 19 902 Ft
Deductive Software Verification - The KeY Book Wolfgang Ahrendt / Paperback
common.buy 47 605 Ft
Deductive Software Verification: Future Perspectives Wolfgang Ahrendt / Adobe ePub DRM
common.buy 21 298 Ft

Login

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

 
mandatory
mandatory

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?