Skip to content

Home Practice Lessons About

Jifeng He

Books

Advances in Blended Learning
Mathematical Frameworks for Component Software
Fundamental Research for Trustworthy Software
Advances in Computing Science - ASIAN 2000
Provably correct systems
Grundlagenforschung Für Vertrauenswürdige Software
Formal methods and software engineering

Author data: Open Library

Book Glossary · bookglossary.comA nonprofit resource from Dover Public Library and the Tuscarawas County Literacy Coalition.