Formal Methods for Open Object-Based Distributed Systems

Format:: e-book
Title:: Formal Methods for Open Object-Based Distributed Systems
Author:: Barthe, Gilles; IFIP Working Group 6.1.; Boer, Frank S.; Boer, Frank S. de; Kanade, Takeo; Kittler, Josef
Language:: English
Publisher:: Springer Berlin Heidelberg 2008
ISBN:: 3-540-68862-5
3-540-68863-3
Subject:: Information Technology Computer Science (Hardware & Networks)
Permalink:: http://bibtest.howest.be/catalog/ebk03:1000000000440608?locale=en