CartSellback ListOrder LookupSupport
ValoreBooks logo
Cancel
Showing 1 - 7 of 7 Results
1.
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-...
Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-... by Berardi, Stefano, Damiani, ... ISBN: 9783642024436 List Price: $74.95
$51.31 (Save 31%)
2.
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Tur...
Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Tur... by Beckert, Bernhard, Damiani,... ISBN: 9783642317613 List Price: $72.00
$46.78 (Save 35%)
3.
Types For Proofs And Programs International Workshop, Types 2003, Torino, Italy, April 30 - ...
Types For Proofs And Programs International Workshop, Types 2003, Torino, Italy, April 30 - ... by Berardi, Stefano, Coppo, Ma... ISBN: 9783540221647 List Price: $78.00
$52.33 (Save 32%)
4.
Formal Methods for Executable Software Models : 14th International School on Formal Methods ...
Formal Methods for Executable Software Models : 14th International School on Formal Methods ... by Bernardo, Marco, Damiani, F... ISBN: 9783319073187 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
5.
Coordination Models and Languages : 23rd IFIP WG 6. 1 International Conference, COORDINATION...
Coordination Models and Languages : 23rd IFIP WG 6. 1 International Conference, COORDINATION... by Damiani, Ferruccio, Dardha,... ISBN: 9783030781415
$51.31
6.
Types for Proofs and Programs
Types for Proofs and Programs by Berardi, Stefano, Coppo, Ma... ISBN: 9783662213650 List Price: $24.99

OUT OF STOCK

See Availability on Amazon
7.
Active Object Languages: Current Research Trends
Active Object Languages: Current Research Trends by de Boer, Frank, Damiani, Fe... ISBN: 9783031510595 List Price: $74.99
$69.43 (Save 7%)