Your search returned 7 results.

Not what you expected? Check for suggestions
1.
Programming languages and their definition / H. Bekič ; selected papers edited by C.B. Jones.

by Bekič, H. (Hans), 1936-1982 | Jones, C. B. (Cliff B.), 1944-.

Material type: Text Text; Format: print regular print ; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1984Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
2.
Formal methods and hybrid real-time systems : essays in honour of Dines Bjøerner and Zhou Chaochen on the occasion of their 70th birthdays / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).

by Bjørner, D. (Dines), 1937- | Zhou, Chaochen, 1937- | Jones, C. B. (Cliff B.), 1944- | Liu, Zhiming, 1961- | Woodcock, Jim.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
3.
Theoretical aspects of computing : ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).

by ICTAC (Colloquium) (4th : 2007 : Macau, China) | Jones, C. B. (Cliff B.), 1944- | Liu, Zhiming, 1961- | Woodcock, Jim.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2007Other title: ICTAC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
4.
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 / Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders (eds.).

by Symposium on the Occasion of 25 years of CSP (2004 : London, England) | Abdallah, Ali E, 1957- | Jones, C. B. (Cliff B.), 1944- | Sanders, Jeff W | Hoare, C. A. R. (Charles Antony Richard), 1934-. Communicating sequential processes.

Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©2005Other title: Symposium on the Occasion of 25 years of CSP.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
5.
The Vienna development method : the Meta-language / edited by D. Bjørner and C.B. Jones.

by Bjørner, D. (Dines), 1937- | Jones, C. B. (Cliff B.), 1944-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, 1978Other title: Meta-language.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
6.
FME '97, industrial applications and strengthened foundations of formal methods : 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997 : proceedings / John Fitzgerald, Cliff B. Jones, Peter Lucas (eds.).

by International Symposium of Formal Methods Europe (4th : 1997 : Graz, Austria) | Fitzgerald, John, 1965- | Jones, C. B. (Cliff B.), 1944- | Lucas, Peter, 1955-.

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer, ©1997Other title: Industrial applications and strengthened foundations of formal methods.Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .
7.
FM 2014 : Formal methods : 19th International Symposium, Singapore, May 12-16, 2014. Proceedings / Cliff Jones, Pekka Pihlajasaari, Jun Sun (eds.).

by International Symposium of Formal Methods Europe (19th : 2014 : Singapore) | Jones, C. B. (Cliff B.), 1944- [editor.] | Pihlajasaari, Pekka [editor.] | Sun, Jun [editor.].

Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham : Springer, 2014Online access: Click here to access online Availability: Items available for loan: e-Library (1). Location(s): EBook .

Powered by Koha