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)

***

  • 出版商: Springer
  • 出版日期: 2007-07-20
  • 售價: $3,942
  • 貴賓價: 9.5$3,745
  • 語言: 英文
  • 頁數: 378
  • 裝訂: Paperback
  • ISBN: 3540731954
  • ISBN-13: 9783540731955
  • 相關分類: 計算機概論

下單後立即進貨 (1週~2週)

相關活動主題

20180806 35 %e9%87%91%e5%b1%ac%e6%9b%b8%e7%b1%a4small

商品描述

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.