关注微信公众号查券更方便
[预订]Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops
海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm
【预订】Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops
【预订】Software Engineering and Formal Methods. SEFM 2021 Collocated Worksh 9783031124280
海外直订Software Engineering and Formal Methods: Sefm 2017 Collocated Workshops: Datamod 软件工程和正式方法：
海外直订Software Engineering and Formal Methods: Sefm 2019 Collocated Workshops: Cosim-C 软件工程和正式方法：
预订 Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops CIFMA 2023 and OpenCERT 2023, Eindhoven,
海外直订Software Technologies: Applications and Foundations: Staf 2017 Collocated Worksh 软件技术：应用和基础：2017
海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“，”
海外直订Software Engineering and Formal Methods: Sefm 2013 Collocated Workshops: Beat2, 软件工程和形式化方法
海外直订Software Engineering and Formal Methods: Sefm 2015 Collocated Workshops: Atse, H 软件工程和形式化方法：Sefm
海外直订Software Technologies: Applications and Foundations: Staf 2018 Collocated Worksh 软件技术：应用和基础：Staf
海外直订Software Engineering and Formal Methods. Sefm 2023 Collocated Workshops: Cifma 2 Software E
海外直订Stabilization of Elastic Systems by Collocated Feedback 弹性系统的同位反馈镇定
【3-4周达】Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoS... [9783031262357]
【3-4周达】Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, M... [9783319747804]
【3-4周达】Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and C... [9783031947476]
【3-4周达】Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE,... [9783030575052]
【3-4周达】Software Technologies: Applications and Foundations : STAF 2018 Collocated Workshops, Toul... [9783030047702]
【3-4周达】Software Technologies: Applications and Foundations: STAF 2016 Collocated Workshops: DataM... [9783319502298]
【3-4周达】Software Technologies: Applications and Foundations : STAF 2017 Collocated Workshops, Marb... [9783319747293]
【3-4周达】Algorithms and Architectures for Parallel Processing: ICA3PP 2016 Collocated Workshops: SC... [9783319499550]
【3-4周达】Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, Ope... [9783319152004]
【3-4周达】Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS,... [9783031124280]
【3-4周达】Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, F... [9783319050317]
【3-4周达】Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and... [9783030672195]
【3-4周达】Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMa... [9783662492239]
【3-4周达】Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and Op... [9783031660207]
【3-4周达】Stabilization of Elastic Systems by Collocated Feedback [9783319108995]
![【3-4周达】Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoS... [9783031262357]](/Public/skin2/static/tqkpc/images/grey.gif)
