34 元券
![[预订]Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops](https://img.alicdn.com/bao/uploaded/i2/454266620/O1CN01QJljai1ym0n1THKT9_!!0-item_pic.jpg_280x380xz.jpg)
80 元券
34 元券
34 元券
![[预订]Software Engineering and Formal Methods: 21st International Conference, Sefm 2023, Eindhoven, the Ne 9783031471148](https://img.alicdn.com/bao/uploaded/i4/454266620/O1CN01FdnKCD1ym0roGODn0_!!0-item_pic.jpg_280x380xz.jpg)
34 元券
34 元券
30 元券
30 元券
40 元券
30 元券
10 元券
10 元券
10 元券
10 元券
10 元券
10 元券
10 元券
10 元券
10 元券
10 元券
10 元券
![【3-4周达】Software Engineering and Formal Methods : 22nd International Conference, SEFM 2024, Aveiro... [9783031773815]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN016Q5pUr28LaNFYfkd9_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
103 元券
![【3-4周达】Software Engineering and Formal Methods: 16th International Conference, SEFM 2018, Held as... [9783319929699]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN014iWV6228LaNCb02MT_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
77 元券
![【3-4周达】Software Engineering and Formal Methods. SEFM 2020 Collocated Workshops: ASYDE, CIFMA, and... [9783030672195]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01bBgBFu28LaNF7klBq_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
77 元券
![【3-4周达】Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMa... [9783662492239]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01DAWyBt28LaND1o0E5_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
77 元券
![【3-4周达】Software Engineering and Formal Methods : 11th International Conference, SEFM 2013, Madrid... [9783642405600]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01DW0OLR28LaNEE62AV_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
77 元券
![【3-4周达】Software Engineering and Formal Methods : 21st International Conference, SEFM 2023, Eindho... [9783031471148]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01dwfxfJ28LaNDvZ7ny_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
95 元券
![【3-4周达】Software Engineering and Formal Methods : 20th International Conference, SEFM 2022, Berlin... [9783031171079]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01sLthbL28LaNDEMwxr_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
95 元券
![【3-4周达】Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops: ReacTS 2024 and C... [9783031947476]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01zWu4wG28LaNDvhrcd_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
108 元券
![【3-4周达】Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevid... [9783642246890]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01A4Mhtu28LaNCvYCDL_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
82 元券
![【3-4周达】Software Engineering and Formal Methods : 17th International Conference, SEFM 2019, Oslo, ... [9783030304454]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01fTgHGU28LaNCKiByG_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
82 元券
![【3-4周达】Software Engineering and Formal Methods: 23rd International Conference, SEFM 2025, Toledo,... [9783032104434]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01IIMB4k28LaNDEIOjj_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
119 元券
![【3-4周达】Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE,... [9783030575052]](https://img.alicdn.com/bao/uploaded/i4/2107887916/O1CN01q0h9aE28LaNFC66Sw_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
100 元券
![【3-4周达】Software Engineering and Formal Methods. SEFM 2022 Collocated Workshops: AI4EA, F-IDE, CoS... [9783031262357]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01SMX1AC28LaNCYbbXJ_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
165 元券
![【3-4周达】Software Engineering and Formal Methods: SEFM 2017 Collocated Workshops: DataMod, FAACS, M... [9783319747804]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01pSykpc28LaNDwW8hH_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
113 元券
![【3-4周达】Software Engineering and Formal Methods. SEFM 2023 Collocated Workshops: CIFMA 2023 and Op... [9783031660207]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01sTNtCx28LaNCXlIRo_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
60 元券
![【3-4周达】Software Engineering and Formal Methods : 19th International Conference, SEFM 2021, Virtua... [9783030921231]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01h5xPA328LaNDdb5Dd_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
118 元券
![【3-4周达】Software Engineering and Formal Methods : 18th International Conference, SEFM 2020, Amster... [9783030587673]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01Mu5UWU28LaNATM8i1_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
84 元券
![【3-4周达】Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento... [9783319661964]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01OGpa6728LaNC4H9DK_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
79 元券
![【3-4周达】Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Held as... [9783319415901]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01NOgLCD28LaNEm9YkE_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
79 元券
![【3-4周达】Software Engineering and Formal Methods : 10th International Conference, SEFM 2012, Thessa... [9783642338250]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01ePHOLR28LaND7HGcp_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
79 元券
![【3-4周达】Software Engineering and Formal Methods: SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, F... [9783319050317]](https://img.alicdn.com/bao/uploaded/i2/2107887916/O1CN01J7eNkY28LaNFG89NW_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
79 元券
![【3-4周达】Software Engineering and Formal Methods : 13th International Conference, SEFM 2015, York, ... [9783319229683]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN0186to1m28LaNDUykFB_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
79 元券
![【3-4周达】Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops: HOFM, SAFOME, Ope... [9783319152004]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN018yjGOG28LaNERNlLd_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
79 元券
![【3-4周达】Software Engineering and Formal Methods : 12th International Conference, SEFM 2014, Grenob... [9783319104300]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01DokQ6r28LaNEWiXbG_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
79 元券
![【3-4周达】Software Engineering and Formal Methods. SEFM 2021 Collocated Workshops: CIFMA, CoSim-CPS,... [9783031124280]](https://img.alicdn.com/bao/uploaded/i1/2107887916/O1CN01C4GhmS28LaNCezE7T_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
79 元券
