年 〜
年

検索結果 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)
紙図書
Springer[2014]<M17-15-1351>
国立国会図書館

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)
紙図書
Springerc2007.<M17-08-715>
国立国会図書館
  • 著者標目Jones, 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)
紙図書
Springer-Verlag1984.<M159-A56>
国立国会図書館
  • 著者標目Bekič, 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.
紙図書
Prentice/Hall Internationalc1980.<M159-A35>
国立国会図書館
  • 著者標目Jones, 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)
紙図書
Springer-Verlag1978.<M159-77>
国立国会図書館
  • 著者標目Bjørner, D. (Dines) , 1937- Jones, C. B. (Cliff B.) , 1944-

検索結果は以上です。