Formal Techniques for Distributed Objects, Components, and Systems
Autor:
Jorge A. Pérez, Nobuko Yoshida
Dostupnosť:
Skladom u dodávateľa
Odosielame za 5-8 dní
63.92
€
This book constitutes the proceedings of the 39th IFIP WG 6.1 International Conference on Formal Tec...