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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Author Marieke Huisman

23 products
Binding
13
9
1
Price
Availability
9
11
3
Date of issue
?
Concise Guide to Software Verification Marieke Huisman / Paperback
common.buy 23 217 Ft
Formal Methods for Industrial Critical Systems Jan Friso Groote / Paperback
common.buy 27 629 Ft
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Gilles Barthe / Paperback
common.buy 21 133 Ft
Concise Guide to Software Verification Marieke Huisman / Paperback
common.buy 21 065 Ft
Concise Guide to Software Verification Marieke Huisman / Hardback
common.buy 32 852 Ft
Integrated Formal Methods Erika Ábrahám / Paperback
common.buy 31 544 Ft
Fundamental Approaches to Software Engineering Marieke Huisman / Paperback
common.buy 19 766 Ft
Formal Techniques for Distributed Objects, Components, and Systems Marieke Huisman / Paperback
common.buy 21 065 Ft
Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer / Adobe ePub DRM
common.buy 1 542 Ft
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices Gilles Barthe / Paperback
common.buy 19 766 Ft
Formal Methods Marieke Huisman / Adobe ePub DRM
common.buy 46 844 Ft
Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer / Adobe ePub DRM
common.buy 1 542 Ft
Formal Techniques for Distributed Objects, Components, and Systems Marieke Huisman / Paperback
common.buy 27 629 Ft
Tests and Proofs Marieke Huisman / Paperback
common.buy 55 138 Ft
Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer / Paperback
common.buy 19 766 Ft
Concise Guide to Software Verification Marieke Huisman / Adobe ePub DRM
common.buy 25 894 Ft
Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer / Paperback
common.buy 19 766 Ft
Tests and Proofs Marieke Huisman / Adobe ePub DRM
common.buy 56 258 Ft
Tools and Algorithms for the Construction and Analysis of Systems Dirk Beyer / Adobe ePub DRM
common.buy 1 542 Ft
Formal Techniques for Distributed Objects, Components, and Systems Marieke Huisman / Adobe ePub DRM
common.buy 28 239 Ft
page 2

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?