Formal Methods for Open Object-Based Distributed Systems IV : IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6.8, 2000, Stanford, California, USA /
সংরক্ষণ করুন:
| প্রধান লেখক: | |
|---|---|
| বিন্যাস: | গ্রন্থ |
| ভাষা: | ইংরেজি |
| প্রকাশিত: |
Nueva York, EUA :
Springer,
2000, c2000
|
| মালা: | (IFIP Advances in Information and Communication Technology)
|
| অনলাইন ব্যবহার করুন: | Ver documento en línea |
| ট্যাগগুলো: |
কোনো ট্যাগ নেই, প্রথমজন হিসাবে ট্যাগ করুন!
|
অনুরূপ উপাদানগুলি: Formal Methods for Open Object-Based Distributed Systems IV :
- Formal Methods for Open Object-Based Distributed Systems : IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15.18, 1999, Florence, Italy /
- Formal Methods for Open Object-Based Distributed Systems V : IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20.22, 2002, Enschede, The Netherlands /
- Formal Methods for Open Object-based Distributed Systems : Volume 2 /
- Formal Methods for Open Object-based Distributed Systems : Volume 1 /
- Formal Methods for Open Object-Based Distributed Systems : 9th IFIP WG 6.1 International Conference, FMOODS 2007, Paphos, Cyprus, June 6-8, 2007, Proceedings /
- Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6.1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proceedings /