Dòng Nội dung
1
Automated validation & verification of UML/OCL models using satisfiability solvers /Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler
New York, NY :Springer Science+Business Media,2018
257 p.
Ký hiệu phân loại (DDC): 005.117
Số bản sách: (0) Tài liệu số: (1)