南京工程学院

共2条结果

Formal methods : an appetizer /

TP311.5/N669Nielson, Flemming,/Springer,/ [2019]

  • 馆藏(1) / 可借(0)

程序分析原理

TP311.11/94(丹) 弗莱明·尼尔森, (丹) 汉内·里斯·尼尔森, (英) 克里斯·汉金著/机械工业出版社/ 2022

  • 馆藏(2) / 可借(2)

首页

我的图书馆