39581043
9783319073163
Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... / Programming and Software Engineering), 2014 was published 2014 under ISBN 9783319073163 and ISBN 3319073168.
[read more]