Formal Methods for Open Object-Based Distributed Systems IV > Editions

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... 6-8, 2000, Stanford, California, USA (Paperback)

Published March 4th 2014 by Springer

Paperback, 432 pages

more details

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49) (Paperback)

Published August 1st 2012 by Springer

Softcover reprint of the original 1st ed. 2000, Softcover Reprint of the Original 1st 2000 ed., Paperback, 436 pages

more details

Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based ... Information and Communication Technology, 49) (Hardcover)

Published August 31st 2000 by Springer

2000, Hardcover, 436 pages

more details