VIAF

Virtual International Authority File

Search

Jones, Clifford National and University Library in Zagreb ISNI-test

Jones, Clifford Bryn, 1944- National Library of the Netherlands-test

Jones, Cliff (computer scientist) Wikipedia (en)

Jones, Cliff Bryn (1944- ). NUKAT Center of Warsaw University Library

Jones, Cliff B. National Library of France

Jones, Clifford B. National Library of Poland

VIAF ID: 301762889 (Personal)

Permalink: http://viaf.org/viaf/301762889

ISNI-test: 0000  0004  3528  7953 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (3)

Open Section Close SectionWorks

Title Sources
Bringing LP to life National and University Library in Zagreb
Essays in computing science National Library of the Netherlands-test Wikipedia (en) NUKAT Center of Warsaw University Library
FME '97 : industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings NUKAT Center of Warsaw University Library
Formal methods and hybrid real-time systems essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays National Library of France
Konstruowanie oprogramowania metodą systematyczną / Cliff B. Jones ; z ang. przeł. Teresa i Krzysztof Piaseccy. - Warszawa, 1984 NUKAT Center of Warsaw University Library National Library of Poland
Mural : a formal development support system NUKAT Center of Warsaw University Library Wikipedia (en)
Proceedings of the 15th International Conference on Information Technology Interfaces, Pula, June 15. - 18. 1993. : ITI '93 National and University Library in Zagreb
Programming languages and their definition National Library of the Netherlands-test Wikipedia (en)
reflections on the work of c.a.r. hoare Wikipedia (en)
Software development : a rigorous approach National Library of the Netherlands-test Wikipedia (en) NUKAT Center of Warsaw University Library National and University Library in Zagreb
Systematic software development using VDM National and University Library in Zagreb NUKAT Center of Warsaw University Library National Library of the Netherlands-test Wikipedia (en) National Library of France
A typed logic of partial functions reconstructed classically National Library of the Netherlands-test
VDM, une méthode rigoureuse pour le développement du logiciel Wikipedia (en) National Library of France
The Victorian age in prose National Library of the Netherlands-test
The Vienna development method : the meta-language National Library of the Netherlands-test Wikipedia (en) NUKAT Center of Warsaw University Library

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (6)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (6)

Open Section Close Section About

Open Section Close Section History of VIAF ID:301762889 (9)