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 Grigore Rosu

8 products
Binding
7
1
Price
Availability
1
6
1
Date of issue
?
Model Checking Software Owolabi Legunsen / Paperback
common.buy 102.97 €
Formal Techniques for Distributed Systems Holger Giese / Paperback
common.buy 51.68 €
Algebraic Methodology and Software Technology José Meseguer / Paperback
common.buy 51.68 €
Model Checking Software Owolabi Legunsen / Adobe ePub DRM
common.buy 119.46 €
Institution Morphisms Grigore Rosu / Paperback
common.buy 16.28 €
Tools and Algorithms for the Construction and Analysis of Systems Dana Fisman / Paperback
common.buy 41.36 €
Formal Approaches to Software Testing and Runtime Verification Klaus Havelund / Paperback
common.buy 51.68 €
Tools and Algorithms for the Construction and Analysis of Systems Dana Fisman / Paperback
common.buy 41.36 €

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?