Formal Techniques for Distributed Ob...
(1998 :)

 

  • Formal Techniques for Distributed Objects, Components, and Systems38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
  • 紀錄類型: 書目-電子資源 : Monograph/item
    正題名/作者: Formal Techniques for Distributed Objects, Components, and Systemsedited by Christel Baier, Luis Caires.
    其他題名: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018 : proceedings /
    其他題名: FORTE 2018
    其他作者: Baier, Christel.
    團體作者:
    出版者: Cham :Springer International Publishing :2018.
    面頁冊數: xi, 197 p. :ill., digital ;24 cm.
    Contained By: Springer eBooks
    標題: Formal methods (Computer science)
    電子資源: http://dx.doi.org/10.1007/978-3-319-92612-4
    ISBN: 9783319926124$q(electronic bk.)
館藏
  • 1 筆 • 頁數 1 •
 
000000158131 電子館藏 1圖書 電子書 EB QA76.9.F67 F737 2018 一般使用(Normal) 在架 0
  • 1 筆 • 頁數 1 •
評論
Export
取書館別
 
 
變更密碼
登入