Jump to main content

yr 〜
yr

Search results 17

Reflections on the work of C.A.R. Hoare

Reflections on the work of C.A.R. Hoare
Paper図書
Cliff B. Jones, A. W. Roscoe, Kenneth R. Wood, editorsSpringerc2010
Other Libraries in Japan
  • Author HeadingJones, Cliff B. Roscoe, A. W. Wood, Kenneth B...

Dependable and historic computing : essays dedicated to Brian Randell on the occasion of his 75th birthday : conference 'dependable and historic computing: the Randell tales' : Apr 2011, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 6875. Festschrift)

Dependable and historic computing : essays dedicated to Brian Randell on the occasion of his 75th birthday : conference 'dependable and historic computing: the Randell tales' : Apr 2011, Newcastle upon Tyne, UK. (Lecture Notes in Computer Science ; 6875. Festschrift)
Paper図書
Springerc2011.<M17-12-1534>
National Diet Library
  • Author HeadingJones, Cliff B., 1944- Lloyd, John L. Randell...

Theoretical aspects of computing - ICTAC 2007 : 4th International Colloquium, Macao, China, September 26-28, 2007 : proceedings

Theoretical aspects of computing - ICTAC 2007 : 4th International Colloquium, Macao, China, September 26-28, 2007 : proceedings
Paper図書
Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingICTAC Jones, Cliff B. Liu, Zhiming Woodcock, James

Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays

Formal methods and hybrid real-time systems : essays in honour of Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays
Paper図書
Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)Springerc2007
Other Libraries in Japan
  • Author HeadingJones, Cliff B. 劉, 志明 Woodcock, James

Communicating Sequential Processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 : revised invited papers

Communicating Sequential Processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 : revised invited papers
Paper図書
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.)Springerc2005
Other Libraries in Japan
  • Author Heading...dallah, Ali E. Jones, Cliff B. Sanders, Jeff W. Hoare, C. A....

FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings : pbk

FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings : pbk
Paper図書
John Fitzgerald, Cliff B. Jones, Peter Lucas, (eds.)Springerc1997
Other Libraries in Japan
  • Author HeadingInternational Symposium of Formal Methods Europe Fitzgerald, John Jones, Cliff B. Lucas, Peter

Systematic software development using VDM 2nd ed

Systematic software development using VDM 2nd ed
Paper図書
Cliff B. JonesPrentice Hall1990
Other Libraries in Japan
  • Author HeadingJones, Cliff B.

Mural : a formal development support system : gw : us

Mural : a formal development support system : gw : us
Paper図書
[edited by] C.B. Jones ... [et al.] ; with contributions from J. Bicarregui ... [et al.]Springer-Verlag1991
Other Libraries in Japan
  • Author HeadingJones, Cliff B.

5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 : New York : Berlin

5th Refinement Workshop : proceedings of the 5th Refinement Workshop, organized by BCS-FACS, London, 8-10 January 1992 : New York : Berlin
Paper図書
Cliff B. Jones, Roger C. Shaw and Tim Denvir (eds.)Springer-Verlagc1992
Other Libraries in Japan
  • Author HeadingRefinement Workshop Jones, Cliff B. Shaw, Roger C. F. Denvir, Tim...

Case studies in systematic software development

Case studies in systematic software development
Paper図書
edited by Cliff B. Jones and Roger C. F. ShawPrentice-Hall1990
Other Libraries in Japan
  • Author HeadingJones, Cliff B. Shaw, Roger C. F.

Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990

Programming concepts and methods : proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2-5 April, 1990
Paper図書
edited by M. Broy, C.B. JonesNorth-Hollandc1990
Other Libraries in Japan
  • Author Heading...thods Broy, M. Jones, Cliff B.

Essays in computing science

Essays in computing science
Paper図書
C.A.R. Hoare ; C.B. Jones, (editor)Prentice Hall1989
Other Libraries in Japan
  • Author HeadingHoare, C. A. R. (Charles Antony Richard) Jones, Cliff B.

Systematic software development using VDM pbk.

Systematic software development using VDM pbk.
Paper図書
Cliff B. JonesPrentice Hall International1986
Other Libraries in Japan
  • Author HeadingJones, Cliff B.

Programming languages and their definition : gw : us

Programming languages and their definition : gw : us
Paper図書
H. Bekič ; selected papers edited by C.B. JonesSpringer-Verlag1984
Other Libraries in Japan
  • Author HeadingBekič, H. (Hans) Jones, Cliff B.

Software development : a rigorous approach

Software development : a rigorous approach
Paper図書
Cliff B. JonesPrentice/Hall International1980
Other Libraries in Japan
  • Author HeadingJones, Cliff B.

Formal specification and software development

Formal specification and software development
Paper図書
Dines Bjørner and Cliff B. Jones ; in collaboration with Derek Andrews [et al.]Prentice-Hall Internationalc1982
Other Libraries in Japan
  • Author HeadingBjørner, D. (Dines) Jones, Cliff B. Andrews, Derek

The Vienna development method : the meta-language : gw : us

The Vienna development method : the meta-language : gw : us
Paper図書
edited by D. Bjørner and C.B. JonesSpringer-Verlag1978
Other Libraries in Japan
  • Author HeadingBjørner, D. (Dines) Jones, Cliff B.

Reached to the end of result.

RSS