42670668
9783319073187
Out of Stock
The item you're looking for is currently unavailable.
Bernardo, Marco is the author of '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', published 2014 under ISBN 9783319073187 and ISBN 3319073184.
[read more]