Web Services, Formal Methods, and Behavioral Types
de Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich
Materias
Ediciones (2)
- Web Services, Formal Methods, and Behavioral Types (2016)
Springer International Publishing AG · inglés · ISBN 9783319336114
- Web Services, Formal Methods, and Behavioral Types (2016)
Springer London, Limited · inglés · ISBN 9783319336121
