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

Johnsen, Einar Broch.(作者(個人/團體)) ，共查得5 件。

Formal methods for multicore programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015 : advanced lectures / edited by Marco Bernardo, Einar Broch Johnsen. 2015.

Fundamental approaches to software engineering 25th International Conference, FASE 2022, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022 : proceedings / edited by Einar Broch Johnsen, Manuel Wimmer. 2022.

Service-oriented and cloud computing 6th IFIP WG 2.14 European Conference, ESOCC 2017, Oslo, Norway, September 27-29, 2017 : proceedings / edited by Flavio De Paoli, Stefan Schulte, Einar Broch Johnsen. 2017.

Software engineering and formal methods 16th International Conference, SEFM 2018, held as part of STAF 2018, Toulouse, France, June 27-29, 2018 : proceedings / edited by Einar Broch Johnsen, Ina Schaefer. 2018.

Theory and practice of formal methods essays dedicated to Frank de Boer on the occasion of his 60th birthday / edited by Erika abraham, Marcello Bonsangue, Einar Broch Johnsen. 2016.

1/1

縮小搜尋範圍

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