60 元券 9783031436772预订InformalMethods ￥548 0去看看 中国国际图书专营店发布了 [预订]Formal Methods for an Informal World 9783031436772 21.6 元券 9783031436772InformalVirtualMethods ￥410.4 0去看看 澜瑞图书专营店发布了 【4周达】Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kaza... [9783031436772]
![[预订]Formal Methods for an Informal World 9783031436772](https://img.alicdn.com/bao/uploaded/i2/454266620/O1CN01TpGSnQ1ym0rUBzvPB_!!0-item_pic.jpg_280x380xz.jpg)
![【4周达】Formal Methods for an Informal World : ICTAC 2021 Summer School, Virtual Event, Astana, Kaza... [9783031436772]](https://img.alicdn.com/bao/uploaded/i3/2107887916/O1CN01T1oVQb28LaGaFjYhf_!!4611686018427384108-0-item_pic.jpg_280x380xz.jpg)
