Del 11392Structured Object-Oriented Formal Language and MethodZhenhua Duan, Shaoying Liu, Cong Tian, Fumiko NagoyaHäftad555 kr
Del 12028Structured Object-Oriented Formal Language and MethodHuaikou Miao, Cong Tian, Shaoying Liu, Zhenhua DuanHäftad555 kr
Structured Object-Oriented Formal Language and MethodJinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua DuanHäftad555 kr
Del 13854Structured Object-Oriented Formal Language and MethodShaoying Liu, Zhenhua Duan, Ai LiuHäftad610 kr
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised SelectedShaoying Liu, Zhenhua Duan650 kr
Del 10009Formal Methods and Software EngineeringKazuhiro Ogata, Mark Lawford, Shaoying LiuHäftad555 kr
Del 10189Structured Object-Oriented Formal Language and MethodShaoying Liu, Zhenhua Duan, Cong Tian, Fumiko NagoyaHäftad555 kr
Del 10009Formal Methods and Software EngineeringKazuhiro Ogata, Mark Lawford, Shaoying LiuHäftad555 kr
Structured Object-Oriented Formal Language and MethodJinyun Xue, Fumiko Nagoya, Shaoying Liu, Zhenhua DuanHäftad555 kr
Del 10189Structured Object-Oriented Formal Language and MethodShaoying Liu, Zhenhua Duan, Cong Tian, Fumiko NagoyaHäftad555 kr
Del 11392Structured Object-Oriented Formal Language and MethodZhenhua Duan, Shaoying Liu, Cong Tian, Fumiko NagoyaHäftad555 kr
Del 12028Structured Object-Oriented Formal Language and MethodHuaikou Miao, Cong Tian, Shaoying Liu, Zhenhua DuanHäftad555 kr
Structured Object-Oriented Formal Language and Method : 11th International Workshop, SOFL+MSVL 2022, Madrid, Spain, October 24, 2022, Revised SelectedShaoying Liu, Zhenhua Duan650 kr