Results for author 'Ferruccio Damiani'
Refine Your Results
Sort By:
Booktopia Recommends
Bestsellers
Price Low to High
Price High to Low
Most Recently Published

Formal Methods for Executable Software Models
14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2014, Bertinoro, Italy, June 16-20, 2014, Advanced Lectures
Einar Broch Johnsen, Reiner Haehnle, Marco Bernardo, Ina Schaefer and Ferruccio Damiani
$84.99
5 Results




