Formal Methods for Open Object-Based Distributed Systems IV
Publisher: Springer
Published: Aug 01, 2012
Format: paperback
Number of pages: 436
ISBN-13: 9781475710182
Notes: Source title: Formal Methods for Open Object-Based Distributed Systems IV (IFIP Advances in Information and Communication Technology (49))