Formal Methods for Executable Software Models: 14th International School on Formal Methods for the Design of Computer, Communication, and Software ... Notes in Computer Science, Band 8483)

International

von: Marco Bernardo · Ferruccio Damiani · Reiner Haehnle · Einar Broch Johnsen · Ina Schaefer

Taschenbuch

ISBN: 978-3-319-07316-3

ISBN-10: 3-319-07316-8

Springer · 2014