Formal Methods for Open Object-Based Distributed Systems

Format:: e-book
Title:: Formal Methods for Open Object-Based Distributed Systems
Author:: IFIP Working Group 6.1.; Kanade, Takeo; Steffen, Martin; Zavattaro, Gianluigi; Kittler, Josef
Language:: English
Publisher:: Springer Berlin / Heidelberg 2005
ISBN:: 3-540-26181-8
3-540-31556-X
Subject:: Information Technology Computer Science (Hardware & Networks)
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000213035?locale=en