Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... Notes in Computer Science, Band 9421)

Hildebrandt

von: Thomas Hildebrandt · António Ravara · Jan Martijn van der Werf · Matthias Weidlich

Taschenbuch

ISBN-13: 978-3-319-33611-4

ISBN-10: 3-319-33611-8

Springer · 2016