Noch Fragen? 0800 / 33 82 637

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

Produktform: Buch / Einband - flex.(Paperback)


Dieser Artikel gehört zu den folgenden Serien

Sprache(n): Englisch

ISBN: 978-3-319-07316-3 / 978-3319073163 / 9783319073163

Verlag: Springer International Publishing

Erscheinungsdatum: 21.05.2014

Seiten: 343

Auflage: 1

Herausgegeben von Marco Bernardo, Einar Broch Johnsen, Ina Schaefer, Ferruccio Damiani, Reiner Haehnle

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück