臺北市立大學行動版館藏查詢

Damiani, Ferruccio.(作者(個人/團體)) ，共查得4 件。

Coordination models and languages 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, held as part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18, 2021 : proceedings / edited by Ferruccio Damiani, Ornela Dardha. 2021.

Formal verification of object-oriented software international conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011 : revised selected papers / edited by Bernhard Beckert, Ferruccio Damiani, Dilian Gurov. 2012.

Types for proofs and programs international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 ; revised selected papers / Stefano Berardi, Mario Coppo, Ferruccio Damiani (eds.). c2004.

Types for proofs and programs International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers / edited by Stefano Berardi, Ferruccio Damiani, Ugo de'Liguoro 2009

1/1

縮小搜尋範圍

出版年區間 : 年 ~ 年
特藏 :
語文 :