Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6. 1 Fifth International Conference on Formal Methods for Open Object-Based
by Bart Jacobs, Arend Rensink Paperback 2013
- Author: Bart Jacobs, Arend Rensink
- ISBN 13: 9781475752687
- ISBN 10: 1475752687
- Publication Year: 2013
- Language: English
Specifications
| Index-10 | 1475752687 |
|---|---|
| Index-13 | 9781475752687 |
| Language | English |
✨ Readers also enjoyed...
Foundations of Software Science an…
Elena Sanz : La Perla de París