Web Services, Formal Methods, and Behavioral Types

Full text!
Type:
e-book
Titel:
Web Services, Formal Methods, and Behavioral Types
Auteur:
Thomas Hildebrandt, António Ravara, Jan Martijn van der Werf, Matthias Weidlich; Antonio, Ravara; Ravara, António; van der Werf, Jan Martijn; Weidlich, Matthias
Taal:
Engels
Uitgever:
Springer International Publishing 2016
ISBN:
3-319-33611-8
3-319-33612-6
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000653155