Formal Techniques for Distributed Systems
Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
Produktform: E-Buch Text Elektronisches Buch in proprietärem