Jump to main content

yr 〜
yr

Search results 5

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
  • Author HeadingLiu, Zhiming, 1961- Woodcock, Jim. Zhu, Huibiao. He, Jifeng, 1943-

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium : Shanghai, China, September 4-6, 2013 : proceedings : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8049)

Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium : Shanghai, China, September 4-6, 2013 : proceedings : Sep 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8049)
Paper図書
Springerc2013.<M17-14-576>
National Diet Library
  • Author Heading...Woodcock, Jim. Zhu, Huibiao. Hua dong shi fan da xue.

Unifying theories of programming and formal engineering methods : international training school on software engineering : held at ICTAC 2013 : Shanghai, China, August 26-30, 2013 : advanced lectures : Aug 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8050. Tutorial)

Unifying theories of programming and formal engineering methods : international training school on software engineering : held at ICTAC 2013 : Shanghai, China, August 26-30, 2013 : advanced lectures : Aug 2013, Shanghai, China. (Lecture Notes in Computer Science ; 8050. Tutorial)
Paper図書
Springerc2013.<M17-14-578>
National Diet Library
  • Author Heading...Woodcock, Jim. Zhu, Huibiao. Hua dong shi fan da xue. ICT...

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)

Formal methods and software engineering : 12th international conference on formal engineering methods, ICFEM 2010 : Shanghai, China, November 17-19, 2010 : proceedings. : Nov 2010, Shanghai, China. (Lecture Notes in Computer Science ; 6447)
Paper図書
Springerc2010.<M17-11-2057>
National Diet Library
  • Author Heading...in Song, 1967- Zhu, Huibiao. International Conference on ...

Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings

Theoretical aspects of computing - ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings
Paper図書
Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)Springerc2013
Other Libraries in Japan
  • Author HeadingICTAC Liu, Zhiming Woodcock, James Zhu, Huibiao

Reached to the end of result.

RSS