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 Corina S. Pasareanu

7 products
Binding
5
2
Price
Availability
2
5
Date of issue
?
Model Checking Software Corina S. Pasareanu / Paperback
common.buy 51.25 €
Computer Aided Verification Daniel Kroening / Paperback
common.buy 51.25 €
Computer Aided Verification Daniel Kroening / Paperback
common.buy 51.25 €
Software Engineering and Formal Methods Radu Calinescu / Adobe ePub DRM
common.buy 93.47 €
Symbolic Execution and Quantitative Reasoning Corina S. Pasareanu / Paperback
common.buy 25.22 €
Formal Aspects of Component Software Corina S. Pasareanu / Paperback
common.buy 47.23 €
Theoretical Aspects of Computing - ICTAC 2022 Helmut Seidl / Adobe ePub DRM
common.buy 60.10 €

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?