Jim Woodcock

15 works Add another?

Sort by:

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Random

— Show only ebooks?

Theoretical Aspects of Computing -- ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013, Proceedings

by Zhiming Liu, Jim Woodcock, and Huibiao Zhu First published in 2013 — 3 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

Cancel
Preview

Preview Book
×Close

Software engineering mathematics: formal methods demystified

by Jim Woodcock First published in 1988 — 2 editions

Preview Only

My Reading Lists:

Create a new list
Software Engineering for Robotics

by Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, and Jim Woodcock First published in 2021 — 2 editions

Locate

My Reading Lists:

Create a new list
Preview

Using Z: Specification, Refinement, and Proof (Prentice-Hall International Series in Computer Science)

by Jim Woodcock and Jim Davies First published in 1996 — 2 editions

Locate

My Reading Lists:

Create a new list
Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science)

by Bird, Richard, Carroll Morgan, and Jim Woodcock First published in 1993 — 2 editions

Locate

My Reading Lists:

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

by D. Bjørner, Jones, C. B., and Jim Woodcock First published in 2007 — 2 editions

Locate

My Reading Lists:

Create a new list
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

by Zhiming Liu, Jim Woodcock, and Huibiao Zhu First published in 2013 — 1 edition

Locate

My Reading Lists:

Create a new list
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

by Zhiming Liu, Jim Woodcock, and Huibiao Zhu First published in 2013 — 1 edition

Locate

My Reading Lists:

Create a new list
Formal Methods : Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

by Marcel Vinícius Medeiros Oliveira and Jim Woodcock First published in 2009 — 1 edition

Locate

My Reading Lists:

Create a new list
Verified Software : Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings

by Natarajan Shankar and Jim Woodcock First published in 2008 — 1 edition

Locate

My Reading Lists:

Create a new list
St. Louis Blues hockey club, 1967-2002: Note by note

by Jim Woodcock First published in 2002 — 1 edition

Locate

My Reading Lists:

Create a new list
Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

by Ana Cavalcanti, Augusto Sampaio, and Jim Woodcock First published in 2006 — 1 edition

Locate

My Reading Lists:

Create a new list
Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

by Chris George, Zhiming Liu, and Jim Woodcock First published in 2007 — 1 edition

Locate

My Reading Lists:

Create a new list
Dependable Software Engineering. Theories, Tools, and Applications: 7th International Symposium, SETTA 2021, Beijing, China, November 25-27, 2021, Proceedings

by Shengchao Qin, Jim Woodcock, and Wenhui Zhang First published in 2021 — 1 edition

Locate

My Reading Lists:

Create a new list
Preview

Formal Methods Foundations and Applications Lecture Notes in Computer Science

by Jim Woodcock First published in 2010 — 1 edition

Locate

My Reading Lists:

Create a new list

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL1003238A

Links outside Open Library

No links yet. Add one?

History

Created April 1, 2008
2 revisions

Download catalog record: RDF / JSON

August 20, 2008	Edited by RenameBot	fix author name
April 1, 2008	Created by an anonymous user	initial import

Jim Woodcock

15 works Add another?

Create a new list

Preview Book

Subjects

Lists

Add to List

ID Numbers

Links outside Open Library

History