H

He, Jifeng

1943

9 books found

Books by He, Jifeng
Mathematical frameworks for component softwareHe, Jifeng
⏱ 5h 54m

Mathematical frameworks for component software

He, Jifeng

2006354 pp.
Fundamental Research for Trustworthy SoftwareJifeng He

Fundamental Research for Trustworthy Software

Jifeng He

2023No page data
Provably correct systemsHe, Jifeng
⏱ 2h 55m

Provably correct systems

He, Jifeng

1995175 pp.
Grundlagenforschung Für Vertrauenswürdige SoftwareJifeng He

Grundlagenforschung Für Vertrauenswürdige Software

Jifeng He

2024No page data
Provably correct systemsJifeng He
⏱ 3h 36m

Provably correct systems

Jifeng He

1994216 pp.
Mathematical Frameworks for Component SoftwareZhiming Liu

Mathematical Frameworks for Component Software

Zhiming Liu

2006No page data
Formal methods and software engineeringZhiming Liu
⏱ 12h 58m

Formal methods and software engineering

Zhiming Liu

2006778 pp.
Advances in Computing Science - ASIAN 2000Jifeng He

Advances in Computing Science - ASIAN 2000

Jifeng He

2003No page data
Advances in Blended LearningElvis Wai Chung Leung

Advances in Blended Learning

Elvis Wai Chung Leung

2008No page data