Jump to main content

yr 〜
yr

Search results 5

FM 2014: formal methods : 19th international symposium : Singapore, May 12-16, 2014 : proceedings : FM-2014 : FM week : Singapore event : May 2014, Singapore. (Lecture Notes in Computer Science ; 8442)

FM 2014: formal methods : 19th international symposium : Singapore, May 12-16, 2014 : proceedings : FM-2014 : FM week : Singapore event : May 2014, Singapore. (Lecture Notes in Computer Science ; 8442)
Paper図書
Springer[2014]<M17-15-1351>
National Diet Library

Theoretical aspects of computing -- ICTAC 2007 : 4th international colloquium : Macao, China, September 26-28, 2007 : proceedings. : Sep 2007, Macao, China. (Lecture Notes in Computer Science ; 4711)

Theoretical aspects of computing -- ICTAC 2007 : 4th international colloquium : Macao, China, September 26-28, 2007 : proceedings. : Sep 2007, Macao, China. (Lecture Notes in Computer Science ; 4711)
Paper図書
Springerc2007.<M17-08-715>
National Diet Library
  • Author HeadingJones, C. B. (Cliff B.) , 1944- Liu, Zhiming, 1961- Woodcock,...

Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones. (Lecture notes in computer science)

Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones. (Lecture notes in computer science)
Paper図書
Springer-Verlag1984.<M159-A56>
National Diet Library
  • Author HeadingBekič, H. (Hans) , 1936-1982. Jones, C. B. (Cliff B.) , 1944-

Software development : a rigorous approach / Cliff B. Jones.

Software development : a rigorous approach / Cliff B. Jones.
Paper図書
Prentice/Hall Internationalc1980.<M159-A35>
National Diet Library
  • Author HeadingJones, C. B. (Cliff B.) , 1944-

The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones. (Lecture notes in computer science ; 61)

The Vienna development method : the Meta-language / edited by D. Bjørner and C. B. Jones. (Lecture notes in computer science ; 61)
Paper図書
Springer-Verlag1978.<M159-77>
National Diet Library
  • Author HeadingBjørner, D. (Dines) , 1937- Jones, C. B. (Cliff B.) , 1944-

Reached to the end of result.

RSS