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 Ferruccio Damiani

10 products
Binding
7
3
Price
Availability
3
6
1
Date of issue
?
Types for Proofs and Programs Stefano Berardi / Paperback
common.buy 51.53 €
Active Object Languages: Current Research Trends Frank de Boer / Adobe ePub DRM
common.buy 87.44 €
Coordination Models and Languages Ferruccio Damiani / Paperback
common.buy 51.53 €
Formal Verification of Object-Oriented Software Bernhard Beckert / Paperback
common.buy 47.40 €
Integrated Formal Methods Ferruccio Damiani / Adobe ePub DRM
common.buy 80.78 €
Formal Methods for Executable Software Models Marco Bernardo / Paperback
common.buy 51.53 €
Active Object Languages: Current Research Trends Frank de Boer / Paperback
common.buy 78.36 €
Coordination Models and Languages Ferruccio Damiani / Adobe ePub DRM
common.buy 60.61 €
Types for Proofs and Programs Stefano Berardi / Paperback
common.buy 51.53 €
Formal Methods for Components and Objects Bernhard Beckert / Paperback
common.buy 51.53 €

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?