Fiadeiro, Jose Luiz.

概要

作品:	1 作品在 2 項出版品 1 種語言

書目資訊

Categories for Software Engineering by: SpringerLink (Online service); Fiadeiro, Jose Luiz. (書目-語言資料,印刷品)

Algebra and Coalgebra in Computer Science = First International Conference, CALCO 2005, Swansea, UK, September 3-6, 2005, Proceedings / by: Fiadeiro, Jose Luiz.; SpringerLink (Online service); CALCO ((2005 :) (書目-語言資料,印刷品)

Recent Trends in Algebraic Development Techniques = 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004, Revised Selected Papers / by: Fiadeiro, Jose Luiz.; Mosses, Peter.; Orejas, Fernando.; SpringerLink (Online service); WADT 2004 ((2004 :) (書目-語言資料,印刷品)

Formal aspects of component software = 10th international symposium, FACS 2013, Nanchang, China, October 27-29, 2013 : revised selected papers / by: Fiadeiro, Jose Luiz.; Liu, Zhiming.; SpringerLink (Online service); Xue, Jinyun. (書目-電子資源)

Recent trends in algebraic development techniques = 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018 : revised selected papers / by: Fiadeiro, Jose Luiz.; SpringerLink (Online service); Tutu, Ionut.; WADT (Workshop) (2018 :) (書目-電子資源)

Recent trends in algebraic development techniques = 13th international workshop, WADT '98, Lisbon, Portugal, April 2-4, 1998 : selected papers / by: WADT '98 ((1998 :); Fiadeiro, Jose Luiz.; SpringerLink (Online service) (書目-電子資源)

主題