Formal Techniques for Distributed Objects, Components, and Systems

Full text!
Format:
e-book
Title:
Formal Techniques for Distributed Objects, Components, and Systems
Author:
Elvira Albert, Ivan Lanese; Lanese, Ivan
Language:
English
Publisher:
Springer International Publishing 2016
ISBN:
3-319-39569-6
3-319-39570-X
Permalink:
http://bibtest.howest.be/catalog/ebk03:3710000000711679?locale=en