【Created on October 31, 2023】Integration of CiNii Books into CiNii Research

Impact of the Release of the New "NDL Search" on CiNii Services

He, Jifeng

ID:DA0972893X

Alias Name: Ho, Chi-feng

Search authors sharing the same name

Search Results1-5 of 5

1

Mathematical frameworks for component software : models for analysis and synthesis

Zhiming Liu, He Jifeng

World Scientific c2006 Series on component-based software development v. 2
2

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings

Zhiming Liu, Jifeng He (eds.)

Springer c2006 Lecture notes in computer science 4260

Available at 8 libraries
3

Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings

Jifeng He, Masahiko Sato (eds.)

Springer c2000 Lecture notes in computer science 1961

Available at 30 libraries
4

Unifying theories of programming

C.A.R. Hoare and He Jifeng

Prentice Hall 1998 Prentice Hall series in computer science

Available at 4 libraries
5

Data refinement in a categorical setting

by He Jifeng, C.A.R. Hoare

Oxford University Computing Laboratory, Programming Research Group 1990 Technical monograph PRG-90

Available at 1 libraries

Search this author

Related Authors