Liknande böcker

Formal Methods for Open Object-Based Distributed Systems : 7th IFIP WG 6...
Bok av Martin. Steffen
Formal Methods for Open Object-Based Distributed Systems : 8th IFIP WG 6...
Bok av Roberto. Gorrieri
Network and Parallel Computing : 9th IFIP International Conference, NPC...
Bok av James J. Park
Programming Languages and Systems : 19th European Symposium on Programmi...
Bok av Andrew D. Gordon
Formal Methods and Software Engineering : 17th International Conference...
Bok av Michael Butler
Software Engineering and Formal Methods : 11th International Conference,...
Bok av Robert M. Hierons
Automated Technology for Verification and Analysis : 10th International...
Bok av Supratik. Chakraborty
Wired (vol. # 3970) : 4th International Conference, WWIC 2006, Bern, Swi...
Bok av Thomas. Braun

Distributed Applications and Interoperable Systems : 6th IFIP WG 6.1 International Conference, DAIS 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Bok av Frank. Eliassen