Web Services, Formal Methods, and Behavioral Types

Format:: e-book
Title:: Web Services, Formal Methods, and Behavioral Types
Author:: Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich; Antonio, Ravara; Ravara, António; van der Werf, Jan Martijn; Weidlich, Matthias
Language:: English
Publisher:: Springer International Publishing 2016
ISBN:: 3-319-33611-8
3-319-33612-6
Permalink:: http://bibtest.howest.be/catalog/ebk03:3710000000653155?locale=en