AddALL book price comparison

2. Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008 Toronto, Canada, October 6-9, 2008, Proceedings

Author: Not Available - Editor: Jim Woodcock

ISBN: 3540878726
ISBN13: 9783540878728
Binding: Paperback
List Price: $69.95
Publisher: Springer Verlag
Published Date: 12/04/2008

3. Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, Isfem 2003, Singapore, November 5-7, 2003 Proceedings

Author: Jin Song Dong - Author: Jim Woodcock - Author: INTERNATIONAL CONFERENCE ON FORMAL ENGIN - Editor: Jim Woodcock

ISBN: 354020461X
ISBN13: 9783540204619
Binding: Paperback
List Price: $98.0
Publisher: Springer-Verlag New York Inc
Published Date: 01/01/2004

4. Domain Modeling and the Duration Calculus: Internaitonal Training School, Shanghai, China, September 17-21, 2007, Advanced Lectures

Editor: Chris George - Editor: Zhiming Liu - Editor: Jim Woodcock

ISBN: 3540749632
ISBN13: 9783540749639
Binding: Paperback
List Price: $49.95
Publisher: Springer-Verlag New York Inc
Published Date: 10/11/2007

5. Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004; Receife, Brazil, November 23-December 5, 2004 Revised Lectures

Editor: Jim Woodcock - Editor: Augusto Sampaio - Editor: Ana Cavalcanti

ISBN: 3540462538
ISBN13: 9783540462538
Binding: Paperback
List Price: $69.95
Publisher: Springer-Verlag New York Inc
Published Date: 12/04/2006

6. Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Editor: Jim Woodcock - Editor: Zhiming Liu - Editor: Cliff B. Jones

ISBN: 354075220X
ISBN13: 9783540752202
Binding: Paperback
List Price: $89.95
Publisher: Springer-Verlag New York Inc
Published Date: 11/09/2007

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 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

8. Fme '96, Industrial Benefit of Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by Ifip Wg 14.3, Oxford, Uk, March 18-22, 1996 Proceedings

Author: M.-C Gaudel - Author: England International Symposium of Formal Methods Europe 1996 Oxford - Author: Jim Woodcock

ISBN: 0387609733
ISBN13: 9780387609737
Binding: Hardcover
List Price: $113.0
Publisher: Springer Verlag
Published Date: 04/01/1996

9. 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