Buy Used and New Jim Davies Books

Using Z : Specification, Refinement, and Proof

by Jim Woodcock,J. C. P. Woodcock,Jim Davies

ISBN 13: 9780139484728

Format: Textbook Binding (392 pages)
Publisher: Prentice Hall
Published: 22 Mar 1996

Save for later

FM'99 - Formal Methods: World Congress on Formal Methods in the Developement of Computing Systems, Toulouse, France, September 20-24, 1999, ... I: 1708 (Lecture Notes in Computer Science)

by Jeannette M. Wing,Jim Woodcook,Jim Davies

ISBN 13: 9783540665878

Format: Paperback (964 pages)
Publisher: Springer
Published: 13 Sep 1999

Save for later

Formal Methods and Software Engineering: 6th International Conference on Formal Engineering Methods, ICFEM 2004, Seattle, WA, USA, November 8-12, ... 3308 (Lecture Notes in Computer Science)

by Jim Davies,Mike Barnett,Wolfram Schulte

ISBN 13: 9783540238416

Format: Illustrated (500 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Developments in Services of General Interest (Legal Issues of Services of General Interest)

by Erika Szyszczak,Jim Davies,Mads Andenæs,Tarjei Bekkedal

ISBN 13: 9789067048316

Format: Paperback (284 pages)
Publisher: T.M.C. Asser Press
Published: 29 May 2013

Save for later