Jifeng He

Identifiers

Open LibraryOL6168852A

Top Subjects

Software engineering (1)
Application software (1)

Books by Jifeng He

Total count: 7

Provably correct systemsmodelling of communication languagesand design of optimized compilers

McGraw-Hill1994-01-01
Advances in Computing Science - ASIAN 20006th Asian Computing Science Conference Penang, Malaysia, November 25-27, 2000 Proceedings

Springer London, Limited2003-01-01
Formal Methods and Software Engineering8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings

Springer London, Limited2006-01-01
Mathematical Frameworks for Component SoftwareModels for Analysis and Synthesis

World Scientific Publishing Co Pte Ltd2006-01-01
Advances in Blended LearningSecond Workshop on Blended Learning, WBL 2008, Jinhua, China, August 20-22, 2008, Revised Selected Papers

Springer London, Limited2008-01-01
Fundamental Research for Trustworthy Software

Springer2023-01-01
Grundlagenforschung Für Vertrauenswürdige Software

Springer Berlin / Heidelberg2024-01-01