-
中文图书1.Event-B建模:系统和软件工程 TP311.5/0140
馆藏复本:2
可借复本:2 (法) 简-埃蒙德·阿布瑞尔著
人民邮电出版社 2019
(0) 馆藏
-
中文图书2.B方法:assigning programs to meanings TP311.5/0147
馆藏复本:5
可借复本:4 (美) J-R Abrial著
电子工业出版社 2004
(0) 馆藏
馆藏复本:2
可借复本:2 (法) 简-埃蒙德·阿布瑞尔著
人民邮电出版社 2019
(0) 馆藏
馆藏复本:5
可借复本:4 (美) J-R Abrial著
电子工业出版社 2004
(0) 馆藏