博客來-作者-Dardha

熱門搜尋

分類(單選)	所有商品(2) 圖書(2) 顯示所有篩選
配送方式(可複選)	可海外宅配(2) 可港澳店取(2) 可新加坡店取(2) 可菲律賓店取(2)
其他(可複選)

搜尋結果共 2 筆, 頁數 1 / 1

呈現:

列表
小圖

Type Systems for Distributed Programs: Components and Sessions

Type Systems for Distributed Programs: Components and Sessions

外文書 , Dardha Ornela , Ingram , 出版日期: 2016-08-09

優惠價: 6540 元

In this book we develop powerful techniques based on formal methods for the verification of correctn... more

放入購物車下次再買

Coordination Models and Languages: 23rd Ifip Wg 6.1 International Conference, Coordination 2021, Held as Part of the 16th International Federated Conf

Coordination Models and Languages: 23rd Ifip Wg 6.1 International Conference, Coordination 2021, Held as Part of the 16th International Federated Conf

外文書 , Damiani Dardha Ferruccio Ornela , Ingram , 出版日期: 2021-06-06

優惠價: 3299 元

This book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference on C... more

放入購物車下次再買

全選

放入購物車

搜尋推薦