Search - IFIP - Lecture Notes in Computer Science Access content directly

Filter your results

1 Array

Formal Techniques for Distributed Objects, Components, and Systems

Elvira Albert , Ivan Lanese
Springer, LNCS-9688, 2016, Formal Techniques for Distributed Objects, Components, and Systems, 978-3-319-39569-2. ⟨10.1007/978-3-319-39570-8⟩
Books hal-01432933v1