Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... 9421 (Lecture Notes in Computer Science)
by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, WS-FM 2014, Eindhoven, The Netherlands, September 11-12, 2014, and ... 9421 (Lecture Notes in Computer Science)
by Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
ISBN 13: 9783319336114
Format: Paperback
(188 pages)
Publisher: Springer
Published: 20 Apr 2016
Save for later
New : $45.69