Search - IFIP Open Digital Library Access content directly

Filter your results

2 results
Structure: Internal structure identifier : 444497
Deposit type : Annex
Page :
sorted by

Formal Techniques for Distributed Objects, Components, and Systems

 Ahmed Bouajjani , Alexandra Silva
Springer International Publishing, LNCS-10321, 2017, Lecture Notes in Computer Science, 978-3-319-60224-0. ⟨10.1007/978-3-319-60225-7⟩
Books hal-01658426v1

Open Source Systems: Towards Robust Practices

 Federico Balaguer , Roberto Di Cosmo , Alejandra Garrido , Fabio Kon , Gregorio Robles , et al.
Springer International Publishing, AICT-496, 2017, IFIP Advances in Information and Communication Technology, 978-3-319-57734-0. ⟨10.1007/978-3-319-57735-7⟩
Books hal-01776287v1
Page :