Shang-Wei Lin – författare
Visar alla böcker från författaren Shang-Wei Lin. Handla med fri frakt och snabb leverans.
2 produkter
Formal Methods and Software Engineering
22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Av Shang-Wei Lin, Zhe Hou m. fl.
Häftad, 2020
567 kr
Lägg i varukorg
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected …
Formal Methods and Software Engineering
22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
Av Brendan Mahony, Zhe Hou m. fl.
E-bok, 2020
755 kr
Lägg i varukorg
This book constitutes the proceedings of the 22nd International Conference on Formal Engineering Methods, ICFEM 2020, held in Singapore, Singapore, in March 2021. The 16 full and 4 short papers presented together with 1 doctoral symposium paper in this volume were carefully reviewed and selected …
