Roggenbach, Markus.

概要

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

書目資訊

Recent trends in algebraic development techniques23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016 : revised selected papers / by: (1998 :); James, Phillip.; Roggenbach, Markus.; SpringerLink (Online service) (書目-電子資源)

Recent trends in algebraic development techniques25th International Workshop, WADT 2020, virtual event, April 29, 2020 : revised selected papers / by: (1998 :); Roggenbach, Markus.; SpringerLink (Online service) (書目-電子資源)

Formal methods for software engineeringlanguages, methods, application domains / by: Roggenbach, Markus.; SpringerLink (Online service) (書目-電子資源)

Applicable formal methods for safe industrial productsessays dedicated to Jan Peleska on the occasion of his 65th birthday / by: Haxthausen, Anne E.; Huang, Wen-ling.; Peleska, Jan,; Roggenbach, Markus.; SpringerLink (Online service) (書目-電子資源)

Formal methods - fun for everybodyfirst International Workshop, FMFun 2019, Bergen, Norway, December 2-3, 2019 : revised selected papers / by: (1998 :); Cerone, Antonio.; Roggenbach, Markus.; SpringerLink (Online service) (書目-電子資源)

主題