Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-21 of 21 results for author "Woodcock, Jim."
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.
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-978 Offsite FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, proceedings / J.C.P. Woodcock, P.G. Larsen (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1031 Offsite 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 / Marie-Claude Gaudel, James Woodcock, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-956 Offsite FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.).
- Text
- Berlin ; New York : Springer, c1999.
- 1999
- 2 Items
Item details Format Call Number Item Location Text JSE 99-2018 v. 1 Offsite Item details Format Call Number Item Location Text JSE 99-2018 v. 2 Offsite Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / Jin Song Dong, Jim Woodcock, eds.
- Text
- Berlin ; New York : Springer, c2003.
- 2003
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2885Item details Format Call Number Item Location Text JSE 04-852 Offsite Mathematics of program construction : second international conference, Oxford, U.K., June/July 1992 : proceedings / R.S. bird, C.C. Morgan, J.C.P. Woodcock, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .M367 1993 Off-site FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 I593 1993 Off-site 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 / Marie-Claude Gaudel, James Woodcock, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 I593 1996 Off-site FM'99--formal methods : World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999 : proceedings / Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.).
- Text
- Berlin ; New York : Springer, 1999.
- 1999
- 2 Items
Item details Format Call Number Item Location Text QA76.9.F67 W67 1999 v.1 Off-site Item details Format Call Number Item Location Text QA76.9.F67 W67 1999 v.2 Off-site Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ISFEM 2003, Singapore, November 5-7, 2003 : proceedings / Jin Song Dong, Jim Woodcock (eds.).
- Text
- 2003
- 1 Item
Item details Format Call Number Item Location Text QA76.9.F67 I5788 2003 Off-site 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.).
- Text
- Berlin ; New York : Springer, [2006], ©2006.
- 2006-2006
- 1 Item
Item details Format Call Number Item Location Text QA76.758 .P47 2004g Off-site 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.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4710Item details Format Call Number Item Location Text QA76.54 .I128 2007g Off-site Theoretical aspects of computing - ICTAC 2007 : 4th international colloquium, Macao, China, September 26-28, 2007 : proceedings / Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.).
- Text
- Berlin ; New York : Springer, 2007.
- 2007
- 1 Item
Item details Format Call Number Item Location Text QA75.5 .T47 2007g Off-site 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.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4700Item details Format Call Number Item Location Text QA76.9.F67 F524 2007g Off-site 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].
- Text
- Berlin ; New York : Springer, [2008], ©2008.
- 2008-2008
- 1 Item
Available Online
http://www.springerlink.com/content/u3pg0266853x/?p=d2d002292ac74759ab94189f5cf21d0a&pi=960Item details Format Call Number Item Location Text QA76.76.V47 V73 2005g Off-site Verified software: theories, tools, experiments : second international conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008 : proceedings / Natarajan Shankar, Jim Woodcock (eds.).
- Text
- Berlin ; New York : Springer, 2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text QA76.76.V47 V73 2008g Off-site 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 / Marie-Claude Gaudel, James Woodcock, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 I593 1996 Off-site 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.
- Text
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.6.M367 1993 Off-site FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993, proceedings / J.C.P. Woodcock, P.G. Larsen (eds.).
- Text
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47I593 1993 Off-site 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.
- Text
- Berlin ; New York : Springer-Verlag, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .M367 1993 Off-site FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings / J.C.P. Woodcock, P.G. Larsen, eds.
- Text
- Berlin ; New York : Springer-Verlag, ©1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text QA76.76.D47 I593 1993 Off-site
No results found from Digital Research Books Beta
Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.
