Jump to main content

yr 〜
yr

Search results 9

Mathematical frameworks for component software : models for analysis and synthesis

Mathematical frameworks for component software : models for analysis and synthesis
Paper図書
Zhiming Liu, He JifengWorld Scientificc2006
Other Libraries in Japan
  • Author HeadingLiu, Zhiming He, Jifeng

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday : 10th international colloquium on theoretical aspects of computing : ICTAC 2013 : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8051. Festschrift)

Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday : 10th international colloquium on theoretical aspects of computing : ICTAC 2013 : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8051. Festschrift)
Paper図書
Springerc2013.<M17-14-579>
National Diet Library
  • Summary, etc...., dedicated to He Jifeng on the occasion of his 70th b...
  • Author HeadingLiu, Zhiming, 1961- Woodcock, Jim. Zhu, Huibiao. He, Jifeng, 1943-

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

Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings
Paper図書
Zhiming Liu, Jifeng He (eds.)Springerc2006
Other Libraries in Japan
  • Author HeadingICFEM Liu, Zhiming He, Jifeng

Unifying theories of programming

Unifying theories of programming
Paper図書
C.A.R. Hoare and He JifengPrentice Hall1998
Other Libraries in Japan
  • Author HeadingHoare, C. A. R. (Charles Antony Richard) He, Jifeng

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

Advances in computing science - ASIAN 2000 : 6th Asian Computing Science Conference, Penang, Malaysia, November 25-27, 2000 : proceedings
Paper図書
Jifeng He, Masahiko Sato (eds.)Springerc2000
Other Libraries in Japan
  • Author HeadingAsian Computing Science Conference He, Jifeng 佐藤, 雅彦

Formal methods and software engineering : 8th international conference on formal engineering methods, ICFEM 2006 : Macao, China, November 1-3, 2006 : proceedings. : Nov 2006, Macao, China. (Lecture Notes in Computer Science ; 4260)

Formal methods and software engineering : 8th international conference on formal engineering methods, ICFEM 2006 : Macao, China, November 1-3, 2006 : proceedings. : Nov 2006, Macao, China. (Lecture Notes in Computer Science ; 4260)
Paper図書
Springerc2006.<M17-07-217>
National Diet Library
  • Author Heading...Zhiming, 1961- He, Jifeng, 1943- International Conferen...

Data refinement in a categorical setting

Data refinement in a categorical setting
Paper図書
by He Jifeng, C.A.R. HoareOxford University Computing Laboratory, Programming Research Group1990
Other Libraries in Japan
  • Author HeadingHe, Jifeng Hoare, C. A. R. (Charles Anto...

BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 : pbk

BCS-FACS 7th Refinement Workshop : proceedings of the BCS-FACS 7th Refinement Workshop, Bath, 3-5 July 1996 : pbk
Paper図書
He Jifeng, John Cooke, and Peter Wallis (eds.)Springerc1997
Other Libraries in Japan

Proceedings of the workshop on refinement and abstraction : preliminary version : Amagasaki,Japan November 15-17,1999 (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.1)

Proceedings of the workshop on refinement and abstraction : preliminary version : Amagasaki,Japan November 15-17,1999 (AIST Programming Science Group technical report = 産業技術総合研究所算譜科学グループ研究速報 ; v.1 no.1)
Paper図書
[edited by]Masami Hagiya, Yoshiki Kinoshita, A.John PowerCollaborative Research Team of Informatics, AIST Kansai, Amagasaki Site, National Institute of Advanced Industrial Science and Technology2001.4<M18-B37>
National Diet Library
  • Toc / Article... Equations/ 20 He Jifeng Comulatives for Safety/ 38 Yo...

Reached to the end of result.

RSS