Search: TitleAuthorSubjectKeywordISBN

 

Books > Browse > Subject Category > Computers > Programming / Software Development > Computer Software - Verification

65 Books found.   Narrow your results by...   Subject Category > Computers > Programming / Software Development > Computer Software - Verification   Format: Book (11) Hardcover (24) Microfiche (2) Paperback (28)   Publication Date: Recent Release (3) 2008 (3) 2007 (5) 2006 (10) 2000-2005 (11) 1990s (29) 1980s (7)   Special Format: Textbook (8)   Language: English (63) German (1) Russian (1)   List Price: $20-$50 (7) $50-$100 (33) $100 and Over (11)   All results: Sort by: BestsellingTitle of Book: A-ZTitle of Book: Z-ADate of Publication Showing books 1 through 10 of 65: Pages: 1 2 3 4 5 6 7 Next  Items per page: 10 | 20 | 50 | 100 | 1. Toward Zero-Defect Programming by Allen M Stavely, Allan M. Stavely Paperback, Addison-Wesley (September 1998) List Price: $26.95 2. Principles of Model Checking by Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen (Foreword by), Kim G. Larsen (Foreword by) Hardcover, Mit Pr (May 2008) List Price: $60.00 3. Model Checking Software: 10th International Spin Workshop, Portland, Or, Usa, May 9-10, 2003 Proceedings by Or.) International Spin Workshop 2003 Portland, Thomas Ball, Sriram K. Rajamani Paperback, Springer-Verlag New York Inc (June 2003) List Price: $45.00 4. Methods and Procedures for the Verification and Validation of Artificial Neural Networks by Brian J. Taylor Book, Springer Science+Business Media (January 2006) 5. Software Reviews and Audits Handbook by Charles P. Hollocker Hardcover, John Wiley & Sons Inc (November 1990) List Price: $90.00 6. Tenth International Conference on VLSI Design: January 4-7, 1997, Hyderabad, India by VLSI Society of India, Institute of Electrical and Electronics Engineers, India Microfiche, IEEE Computer Society Press (January 1997) 7. Software Verification and Validation for Practitioners and Managers by Steven R. Rakitin Hardcover, Artech House on Demand (July 2001) List Price: $96.00 8. Temporal Verification of Reactive Systems: Safety by Zohar Manna, Amir Pnueli Hardcover, Springer Verlag (May 1995) List Price: $89.95 9. Model Checking Software: 9th International Spin Workshop, Grenoble, France, April 11-13, 2002 Proceedings by France) International Spin Workshop 2002 Grenoble, Stefan Leue, Stefan Leue (Editor) Paperback, Springer Verlag (May 2002) List Price: $61.95 10. Verification of Object-oriented Software: The Key Approach by Bernhard Beckert (Editor), Reiner Hahnle (Editor), Peter H. Schmitt (Editor) Paperback, Springer-Verlag New York Inc (March 2007) List Price: $89.95 Showing books 1 through 10 of 65: Pages: 1 2 3 4 5 6 7 Next  Items per page: 10 | 20 | 50 | 100 |

© Copyright 1997-2007, Best Web Buys. Inc. All rights reserved. All trademarks are owned by the respective company or Best Web Buys. Please send comments or problems to the	© Copyright 1948-2007 Muze Inc. For personal non-commercial use only. All rights reserved.