Formal Techniques for Networked and Distributed Systems - FORTE 2007: 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007, Proceedings (Lecture Notes in Computer Science)
暫譯: 網絡與分佈式系統的形式技術 - FORTE 2007：第27屆IFIP WG 6.1國際會議，愛沙尼亞塔林，2007年6月27-29日，會議錄（計算機科學講義）

***

出版商: Springer
出版日期: 2007-06-12
售價: $2,420
貴賓價: 9.5 折 $2,299
語言: 英文
頁數: 378
裝訂: Paperback
ISBN: 3540731954
ISBN-13: 9783540731955
相關分類: Computer-Science

海外代購書籍(需單獨結帳)

商品描述

This book constitutes the refereed proceedings of the 27th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2007, held in Tallinn, Estonia, in September 2007 co-located with TestCom/FATES 2007. It covers service oriented computing and architectures using formalized and verified approaches.