Types for Proofs and Programs
Paperback
Published 15 Jun 2004
Save $6.15
- RRP $61.51
- $55.36
Search for "Ferruccio Damiani"
6 results
-
$6.15off
-
$7.14off
Coordination Models and Languag...
Paperback
Published 06 Jun 2021Save $7.14
- RRP $61.51
- $54.37
-
$6.73off
Types for Proofs and Programs T...
Paperback
Published 19 Jun 2009Save $6.73
- RRP $61.51
- $54.78
-
$5.82off
Formal Verification of Object-O...
Paperback
Published 19 Jul 2012Save $5.82
- RRP $54.67
- $48.85
-
$11.84off
Formal Methods for Components a...
Paperback
Published 03 Jan 2013Save $11.84
- RRP $66.98
- $55.14
-
$11.25off
Active Object Languages: Curren...
Paperback
Published 29 Jan 2024Save $11.25
- RRP $88.85
- $77.60