Del 11392Structured Object-Oriented Formal Language and MethodZhenhua Duan, Shaoying Liu, Cong Tian, Fumiko NagoyaHäftad, 2019564 kr
Structured Object-Oriented Formal Language and MethodFumiko Nagoya, Cong Tian, Shaoying Liu, Zhenhua Duan E-bok2019708 kr
Del 12028Structured Object-Oriented Formal Language and MethodHuaikou Miao, Cong Tian, Shaoying Liu, Zhenhua DuanHäftad, 2020564 kr
Structured Object-Oriented Formal Language and MethodZhenhua Duan, Shaoying Liu, Cong Tian, Huaikou Miao E-bok2020708 kr
Structured Object-Oriented Formal Language and MethodJinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua DuanHäftad, 2021564 kr
Structured Object-Oriented Formal Language and MethodZhenhua Duan, Shaoying Liu, Fumiko Nagoya, Jinyun Xue E-bok2021708 kr
Del 13854Structured Object-Oriented Formal Language and MethodShaoying Liu, Zhenhua Duan, Ai LiuHäftad, 2023620 kr
Structured Object-Oriented Formal Language and MethodAi Liu, Zhenhua Duan, Shaoying Liu E-bok2023786 kr
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised SelectedShaoying Liu, Zhenhua Duan644 kr
Del 8332Structured Object-Oriented Formal Language and MethodShaoying Liu, Zhenhua DuanHäftad, 2014564 kr
Structured Object-Oriented Formal Language and MethodZhenhua Duan, Shaoying Liu, Fumiko Nagoya, Cong Tian E-bok2018708 kr
Software Fault Prevention, Verification, and ValidationShaoying Liu, Hiroyuki Okamura, Yuting Chen E-bok2026944 kr
Structured Object-Oriented Formal Language and MethodZhenhua Duan, Shaoying Liu, Cong Tian, Huaikou Miao E-bok2020708 kr
Del 10009Formal Methods and Software EngineeringKazuhiro Ogata, Mark Lawford, Shaoying LiuHäftad, 2016564 kr
Structured Object-Oriented Formal Language and MethodJinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua DuanHäftad, 2021564 kr
Del 11392Structured Object-Oriented Formal Language and MethodZhenhua Duan, Shaoying Liu, Cong Tian, Fumiko NagoyaHäftad, 2019564 kr