 |
|
|
|
|
|
|
|
|
|
73 Books found.
|
|
|
|
|
 |
|
|
|
|
|
|
|
|
|
|
|
|
| All results: |
Sort by:
|
|
Showing books
1
through 10 of 73:
|
|
Items per page:
10 | 20 | 50 | 100 |
|
|
| 1. |
|
Software Reviews and Audits Handbook
by Charles P. Hollocker
Hardcover,
John Wiley & Sons Inc
(November 1990)
List Price: $90.00
|
|
 |
| 2. |
|
Hardware and Software, Verification and Testing: Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings
by Karen Yorav (Editor)
Paperback,
Springer-Verlag New York Inc
(April 2008)
List Price: $64.95
|
|
|
| 3. |
|
Model Checking Software: 13th International Spin Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
by Antti Valmari (Editor)
Paperback,
Springer-Verlag New York Inc
(April 2006)
List Price: $67.00
|
|
|
| 4. |
|
Verification, Validation and Testing in Software Engineering
by Aristides Dasso, Ana Funes
Book,
Idea Group Pub
(May 2006)
|
|
|
| 5. |
|
Correct Hardware Design Methodologies: Proceedings
by Paolo Prinetto, Paolo Camurati (Editor)
Hardcover,
Elsevier Science Ltd
(July 1992)
List Price: $195.00
|
|
|
| 6. |
|
Verification and Validation of Real-Time Software
by William J. Quirk
Book,
Springer-Verlag
(January 1985)
|
|
|
| 7. |
|
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
|
|
|
| 8. |
|
Software Verification And Validation: An Engineering And Scientific Approach
by Fisher
Hardcover,
Springer Verlag
(December 2006)
List Price: $99.00
|
|
|
| 9. |
|
Mathematics of Program Construction: Third International Conference, Mpc '95, Kloster Irsee, Germany, July 17-21, 1995 Proceedings
by Bernhard Moller (Editor), Springer, Bernhard Moller
Paperback,
Springer Verlag
(July 1995)
List Price: $89.95
|
|
|
| 10. |
|
Temporal Verification of Reactive Systems: Safety
by Zohar Manna, Amir Pnueli
Hardcover,
Springer Verlag
(May 1995)
List Price: $89.95
|
|
|
|
Showing books
1
through 10 of 73:
|
|
Items per page:
10 | 20 | 50 | 100 |
|
|
|
|
|
|
 |
© Copyright 1997-2009, 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
|
Portions of Content Provided by Rovi Data Solutions. Copyright © 2009 Rovi Data Solutions, Inc.
For personal non-commercial use only. All rights reserved.
|
|
