教师
华保健
软件学院苏州
软件学院苏州 讲师
形式化方法
Formal Methods
EIEN7002P.01
2026年秋季学期 3 学分
形式化方法
Formal Methods
EIEN7002P.02
2026年春季学期 3 学分
程序设计语言原理
Principle of Programming Language
EIEN6400P.01
2026年春季学期 3 学分
形式化方法
Formal Methods
EIEN7002P.01
2025年秋季学期 3 学分
形式化方法
Formal Methods
EIEN7002P.02
2025年春季学期 3 学分
程序设计语言原理
Principle of Programming Language
EIEN6400P.01
2025年春季学期 3 学分
工程化C程序设计
C programming Engineering
EIEN6710P.01
2024年秋季学期 0.5 学分
形式化方法
Formal Methods
EIEN7002P.01
2024年秋季学期 3 学分
形式化方法
Formal Methods
EIEN7002P.02
2024年春季学期 3 学分
程序设计语言原理
Principle of Programming Language
EIEN6400P.01
2024年春季学期 3 学分
工程化C程序设计
C programming Engineering
EIEN6710P.01
2023年秋季学期 0.5 学分
形式化方法
Formal Methods
EIEN7002P.01
2023年秋季学期 3 学分
形式化方法
Formal Methods
EIEN7002P.02
2023年春季学期 3 学分
程序设计语言原理
Principle of Programming Language
EIEN6400P.01
2023年春季学期 3 学分
工程化C程序设计
C programming Engineering
EIEN6710P.01
2022年秋季学期 0.5 学分
形式化方法
Formal Methods
EIEN7002P.01
2022年秋季学期 3 学分
形式化方法
Formal Methods
EIEN7002P.02
2022年春季学期 3 学分
程序设计语言原理
Principle of Programming Language
EIEN6400P.01
2022年春季学期 3 学分
工程化C程序设计
C programming Engineering
EIEN6710P.01
2021年秋季学期 0.5 学分
形式化方法
Formal Methods
EIEN7002P.01
2021年秋季学期 3 学分
信息安全
Information Security
EIEN6013P.02
2021年春季学期 3 学分
形式化方法
Formal Methods
EIEN7002P.02
2021年春季学期 3 学分