Buy Used and New JimWoodcock Books

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, S.B.M.F. 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers (Lecture Notes in Computer Science)

by Marcel Vinícius Medeiros Oliveira, Jim Woodcock

ISBN 13: 9783642104510

Format: Paperback (351 pages)
Publisher: Springer
Published: 09 Nov 2009

Save for later

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings: 5295 (Lecture Notes in Computer Science)

by Jim Woodcock, Natarajan Shankar

ISBN 13: 9783540878728

Format: Paperback (263 pages)
Publisher: Springer
Published: 22 Sep 2008

Save for later

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture ... Computer Science and General Issues)

by

ISBN 13: 9783540752202

Format: Paperback (539 pages)
Publisher: Springer
Published: 06 Sep 2007

Save for later

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised ... / Programming and Software Engineering)

by

ISBN 13: 9783540691471

Format: Paperback (546 pages)
Publisher: Springer
Published: 07 Jul 2008
Other Format: Paperback

Save for later

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December ... / Programming and Software Engineering)

by

ISBN 13: 9783540462538

Format: Paperback (393 pages)
Publisher: Springer
Published: 27 Sep 2006

Save for later

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures (Lecture Notes in ... Computer Science and General Issues)

by

ISBN 13: 9783540749639

Format: Paperback (248 pages)
Publisher: Springer
Published: 28 Aug 2007

Save for later