AddALL book price comparison

Home Book reviews Contact

☰

Jim Davies

1. Specification and Proof in Real-Time Csp

ISBN: 0521450551
ISBN13: 9780521450553
Binding: Hardcover
List Price: $99.0
Publisher: Cambridge Univ Pr
Published Date: 07/01/1993

2. Interated Formal Methods: 6th International Conference, Ifm 2007, Oxford, Uk, July 2-5, 2007, Proceedings

Editor: Jeremy Gibbons - Editor: Jim Davies

ISBN: 3540732098
ISBN13: 9783540732099
Binding: Paperback
List Price: $109.0
Publisher: Springer-Verlag New York Inc
Published Date: 09/03/2007

3. Bard & Co.: Shakespeare's Role in Modern Business

Author: John Simmons - Author: Jim Davies

ISBN: 1905736185
ISBN13: 9781905736188
Binding: Paperback
List Price: $22.95
Publisher: Cyan Communications
Published Date: 08/30/2009

4. Formal Methods And Software Engineering: 6th International Conference On Formal Engineering Methods, Icfem 2004, Seattle, WA, USA, November 8-12, 2004, Proceedings

Editor: Jim Davies - Editor: Mike Barnett - Editor: Wolfram Schulte

ISBN: 3540238417
ISBN13: 9783540238416
Binding: Paperback
List Price: $89.0
Publisher: Springer-Verlag New York Inc
Published Date: 01/15/2005

5. Promoting Learning

Author: Christopher Bell - Author: Jim Davies - Editor: Ray Winders

ISBN: 0893973394
ISBN13: 9780893973391
Binding: Hardcover
List Price: $49.5
Publisher: Nichols Pub Co
Published Date: 06/01/1989

6. Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Author: Jim Davies - Author: Jeannette Marie Wing - Author: World Congress on Formal Methods in the Development of Computing Syste - Author: Jim Woodcock - Editor: G. Goos - Editor: Jim Woodcock

ISBN: 3540665870
ISBN13: 9783540665878
Binding: Paperback
List Price: $123.0
Publisher: Springer Verlag
Published Date: 11/01/1999

7. Fm'99 - Formal Methods: World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings

Author: Jim Woodcock - Author: Jeannette Marie Wing - Author: World Congress on Formal Methods in the Development of Computing Syste - Author: Jim Davies - Editor: J. Hartmanis - Editor: Jeannette Marie Wing

ISBN: 3540665889
ISBN13: 9783540665885
Binding: Paperback
List Price: $123.0
Publisher: Springer Verlag
Published Date: 11/01/1999