| | Web Services, Formal Methods, and Behavioral Types: 11th International Workshop, Ws-FM 2014, Eindhoven, the Netherlands, September 11-12, 2014, and 12 2016 Edition (Lecture Notes in Computer Science) | Hildebrandt, Thomas | Paperback | 3319336118 / 9783319336114 | 04/2016 | $42.74 |