21762965
9783642214547
Bernardo, Marco is the author of 'Formal Methods for Eternal Networked Software Systems: 11th International School on Formal Methods for the Design of Computer, Communication and ... / Programming and Software Engineering)', published 2011 under ISBN 9783642214547 and ISBN 3642214541.
[read more]