42435042
9783662452356
Out of Stock
The item you're looking for is currently unavailable.
Margaria, Tiziana is the author of 'Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change : 6th International Symposium, Isola 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I', published 2014 under ISBN 9783662452356 and ISBN 3662452359.
[read more]