Formal Techniques for Distributed Systems : Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011, and 30th IFIP WG 6.1 International Conference, FORTE 2011, Reykjavik, Iceland, June 6-9, 2011. Proceedings

フォーマット:

電子ブック

責任表示:

edited by Roberto Bruni, Juergen Dingel

言語:

英語

出版情報:

Berlin, Heidelberg : Springer Berlin Heidelberg, 2011

形態:

v.: digital

著者名:

• Bruni, Roberto
• Dingel, Juergen
• SpringerLink (Online service)

シリーズ名:

Lecture Notes in Computer Science ; 6722

書誌ID:

NB02224588

ISBN:

9783642214615 [3642214614]      

学内からのみアクセスすることができます。