已标记验证的包裹

1个包裹上有这个标签。

[合并标签]（仅限受托人）

相关标签：形式方法(1),图书馆(1),数学(1),数学(1),数学(1),英里/小时(1),程序(1),理论证明者(1)

姓名	数据链路	额定值	收入折旧	描述	标签	最后一个U/L	上次版本	维护者
低压摊铺机	4	0	0	涉及非线性实数算法的自动校准器目标问题	(形式方法，图书馆，数学，数学，数学，英里/小时，程序，理论证明者，验证)	2023-03-13年	0.0.5.0	朱奈德·拉希德