Your search returned 15 results.

Not what you expected? Check for suggestions
Sort
Results
Domain modeling and the duration calculus : international training school, Shanghai, China, September 17-21, 2007 : advanced lectures / Chris W. George, Zhiming Liu, Jim Woodcock (eds.).

by International Training School on Domain Modeling and the Duration Calculus (2007 : Shanghai, China) | George, Chris W | Liu, Zhiming, 1961- | Woodcock, Jim | ICTAC (Colloquium) (4th : 2007 : Macau, China).

Series: Serienbezeichnung | LNCS sublibrary. SL 1, Theoretical computer science and general issues. | Lecture notes in computer science ; 4710. | Lecture notes in computer science. Tutorial.Source: Springer e-booksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: Duration caculus.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4700. | Lecture notes in computer science. Festschrift. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Online access: Click here to access online Availability: Items available for loan: e-Library (1).
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.

Series: Serienbezeichnung | Lecture notes in computer science ; 4711. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2007Other title: ICTAC 2007.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Refinement techniques in software engineering : First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 : revised lectures / Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.).

by Pernambuco Summer School on Software Engineering (1st : 2004 : Recife, Brazil) | Cavalcanti, Ana | Sampaio, Augusto | Woodcock, Jim.

Series: Serienbezeichnung | Lecture notes in computer science ; 3167. | Lecture notes in computer science. Tutorial.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006Other title: First Pernambuco Summer School on Software Engineering | Pernambuco Summer School on Software Engineering | PSSE 2004.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Verified Software : theories, tools, experiments : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005 : Revised Selected Papers and Discussions / [eds. Bertrand Meyer, Jim Woodcock].

by VSTTE (Conference) (1st : 2005 : Zurich, Switzerland) | Meyer, Bertrand, 1950- | Woodcock, Jim.

Series: Serienbezeichnung | LNCS sublibrary. SL 2, Programming and software engineering. | Lecture notes in computer science ; 4171.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2008Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-8, 2008 : proceedings / Natarajan Shankar, Jim Woodcock (eds.).

by VSTTE (Conference) (2nd : 2008 : Toronto, Ont.) | Shankar, N. (Natarajan) | Woodcock, Jim.

Series: Serienbezeichnung | Lecture notes in computer science. Lecture notes in artificial intelligence ; ; 5295. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin : Springer, 2008Other title: VSTTE 2008.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings / R.S. Bird, C.C. Morgan, J.C.P. Woodcock (eds.).

by Bird, Richard, 1943- | Morgan, Carroll, 1952- | Woodcock, Jim | International Conference on the Mathematics of Program Construction (2nd : 1992 : St. Catherine's College).

Series: Serienbezeichnung | Lecture notes in computer science ; 669.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Berlin ; New York : Springer-Verlag, ©1993Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers / Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.).

by Brazilian Symposium on Formal Methods (12th : 2009 : Gramado, Brazil) | Oliveira, Marcel Vinícius Medeiros | Woodcock, Jim.

Series: Serienbezeichnung | Lecture notes in computer science ; 5902. | LNCS sublibrary. SL 2, Programming and software engineering.Source: Springer eBooksMaterial type: Text Text; Format: available online remote; Literary form: Not fiction Publisher number: 12793839Publication details: Berlin ; New York : Springer, ©2009Other title: SBMF 2009.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
FM99 Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 2024, 1999 Proceedings, Volume I / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies.

by Wing, Jeannette M | Woodcock, Jim | Davies, Jim.

Series: Serienbezeichnung | Lecture notes in computer science ; 1708,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
FM99 Formal Methods : World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 2024, 1999 Proceedings, Volume II / edited by Jeannette M. Wing, Jim Woodcock, Jim Davies.

by Wing, Jeannette M | Woodcock, Jim | Davies, Jim.

Series: Serienbezeichnung | Lecture notes in computer science ; 1709,Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin ; Heidelberg : Springer-Verlag Berlin Heidelberg, 1999Online access: Click here to access online Availability: Items available for loan: e-Library (1).
FME'96: Industrial Benefit and Advances in Formal Methods : Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18-22, 1996 Proceedings / edited by Marie-Claude Gaudel, James Woodcock.

by International Symposium of Formal Methods Europe (3rd : 1996 : Oxford, England) | Gaudel, M.-C. (Marie-Claude) | Woodcock, Jim.

Series: Serienbezeichnung | Lecture notes in computer science ; 1051.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publication details: Berlin, Heidelberg : Springer-Verlag, 1996Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theories of programming and formal methods : essays dedicated to Jifeng He on the occasion of his 70th birthday / Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.).

by Liu, Zhiming, 1961- [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | He, Jifeng, 1943- [honouree.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8051. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote festschrift ; Literary form: Not fiction Publisher: Berlin : Springer, 2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Theoretical aspects of computing -- ICTAC 2013 : 10th international colloquium, Shanghai, China, September 4-6, 2013, proceedings / Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.).

by ICTAC (Colloquium) (10th : 2013 : Shanghai, China) | Liu, Zhiming, 1961- [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.].

Series: Serienbezeichnung | Lecture notes in computer science ; 8049. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Unifying theories of programming and formal engineering methods : International Training School on Software Engineering, held at ICTAC 2013, Shanghai, China, August 26-30, 2013, advanced lectures / Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.).

by International Training School on Software Engineering (2013 : Shanghai, China) | Liu, Zhiming, 1961- [editor.] | Woodcock, Jim [editor.] | Zhu, Huibiao [editor.] | ICTAC (Colloquium) (10th : 2013 : Shanghai, China).

Series: Serienbezeichnung | Lecture notes in computer science ; 8050. | Lecture notes in computer science. Tutorial. | LNCS sublibrary. SL 1, Theoretical computer science and general issues.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Heidelberg : Springer, [2013]Copyright date: ©2013Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Dependable software engineering : theories, tools, and applications : 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings / Shengchao Qin, Jim Woodcock, Wenhui Zhang (eds.).

by SETTA (Symposium) (7th : 2021 : Beijing, China) | Qin, Shengchao [editor] | Woodcock, Jim [editor] | Zhang, Wenhui, 1963- [editor].

Series: Serienbezeichnung | Lecture notes in computer science ; 13071. | LNCS sublibrary. SL 2, Programming and software engineering.Material type: Text Text; Format: available online remote; Literary form: Not fiction Publisher: Cham, Switzerland : Springer, 2021Other title: SETTA 2021.Online access: Click here to access online Availability: Items available for loan: e-Library (1).
Pages

Powered by Koha