Don't forget to bookmark this web site !!
Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

|  FAQ/About us |  Recommend us |  Browse |  Memo |  Book Reviews |  Random Quotes |  Help |

 

Jonathan P. Bowen
 
1. Formal Methods and Testing: An Outcome of the FORTEST Network Revised Selected Papers
ISBN: 9783540789161 - Paperback - List Price: $74.95
Publisher: Springer-Verlag New York Inc - Published Date: 05/01/2008 - Paperback
Editor: Jonathan P. Bowen
Editor: Robert M. Hierons
Editor: Mark Harman

2. Formal Methods: State of the Art and New Directions
ISBN: 9781848827356 - Hardcover - List Price: $99.00
Publisher: Springer-Verlag New York Inc - Published Date: 10/01/2009 - Hardcover
Editor: Jonathan P. Bowen
Editor: Paul P. Boca
Editor: Jawed Siddiqi

3. Industrial-Strength Formal Methods in Practice
ISBN: 9781852336400 - Paperback - List Price: $129.00
Publisher: Springer Verlag - Published Date: 11/01/1999 - Paperback
Editor: Michael G. Hinchey
Editor: Jonathan P. Bowen

4. Zb 2000: Formal Specification and Development in Z and B
ISBN: 9783540679448 - Paperback - List Price: $89.95
Publisher: Springer Verlag - Published Date: 12/01/2000 - Paperback
Editor: Steve Dunne
Editor: Andy Galloway
Editor: Jonathan P. Bowen
Editor: Steve King

5. Zb 2003-Formal Specification and Development in Z and B: Formal Specification and Development in Z and B Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003 Proceedings
ISBN: 9783540402534 - Paperback - List Price: $87.00
Publisher: Springer-Verlag New York Inc - Published Date: 08/01/2003 - Paperback
Author: Marina Walden
Author: Steve King
Author: Finland) International Conference of B and Z Users (3rd 2003 Turku
Author: Finland) International Conference of B and Z Users 2003 Turku
Author: Jonathan

6. Zum '95: The Z Formal Specification Notation 9th International Conference of Z Users Limerick, Ireland, September 7-9, 1995 Proceedings
ISBN: 9783540602712 - Paperback - List Price: $102.00
Publisher: Springer Verlag - Published Date: 12/01/1995 - Paperback
Editor: Michael G. Hinchey
Editor: Jonathan P. Bowen

Shipping Destination:
State:
(US only)
Display in:
Search by:
Searching for Out of Print Books? [Click Here]

[ For web hosting, AddALL recommend Liquidweb]