Formal Methods for Open Object-Based Distributed Systems V

IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Formal Methods for Open Object-Based Distributed Systems V brings together research in three important and related fields: weiterlesen

zurück