借閱次數: 0
|
Formal techniques for distributed systems Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009 : proceedings /
- 作者：edited by David Lee, Antonia Lopes, Arnd Poetzsch-Heffter
- 出版者：Springer Berlin Heidelberg
- 出版地：Berlin, Heidelberg :
- 語文：英語
- 叢書名：Lecture notes in computer science ;
- 電子資源：連結全文
- ISBN/ISSN/ISRC：9783642021381 ((electronic bk.)) ; 9783642021374 ((paper))
- 作者：Lee David;Lopes Antonia;Poetzsch-Heffter Arnd
- 索書號：004.36
- 團體作者：
|
