|
|
| All results: |
Sort by:
|
|
Showing books
1
through 10 of 65:
|
|
Items per page:
10 | 20 | 50 | 100 |
|
|
| 1. |
|
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
|
|
 |
| 2. |
|
Program Verification
by Francez Nissim
Hardcover,
Addison-Wesley
(October 1992)
List Price: $37.95
|
|
|
| 3. |
|
Proceedings of the Symposium on Testing, Analysis, and Verification (TAV4): Victoria, British Columbia, October 8-10, 1991
by ACM Sigsoft
Book,
ACM Press
(January 1991)
|
|
|
| 4. |
|
Model Checking Software: 12th International Spin Workshop, San Francisco, Ca, Usa, August 22-24, 2005, Proceedings
by Patrick Godefroid (Editor), Patrice Godefroid
Paperback,
Springer-Verlag New York Inc
(October 2005)
List Price: $63.00
|
|
|
| 5. |
|
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction
by Markus Muller-Olm
Paperback,
Springer Verlag
(September 1997)
List Price: $69.95
|
|
|
| 6. |
|
Model Checking Software: 11th International Spin Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings
by Susanne Graf, Laurent Mounier, Laurent Mounier (Editor)
Paperback,
Springer-Verlag New York Inc
(April 2004)
List Price: $68.00
|
|
|
| 7. |
|
Practical Aspects of Spin Model-Checking: 6th International Workshop, Spin'99, Held As Fm'99 User Group Meeting, Toulouse, France, September 21 and 24, 1999, Proceedings
by France) Spin'9 (1999 Toulouse, G. Goos (Editor), J. Hartmanis (Editor), J. Van Leeuwen (Editor), D. Dams (Editor), R. Gerth (Editor), World Congress on Formal Methods in the Development of Computing Syste, M. Massinek (Editor), J. Van Leeuwen (Editor), Dennis Dams, Dennis Dams (Editor)
Paperback,
Springer Verlag
(October 1999)
List Price: $69.95
|
|
|
| 8. |
|
Temporal Verification of Reactive Systems: Safety
by Zohar Manna, Amir Pnueli
Hardcover,
Springer Verlag
(May 1995)
List Price: $89.95
|
|
|
| 9. |
|
Concurrency Verification: Introduction to Compositional and Noncompositional Methods
by W.-P. De Roever (Editor), Yassine Lakhnech, Job Zwiers, Frank De Boer, Ulrich Hannemann, Jozef Hooman, Mannes Poel
Hardcover,
Cambridge Univ Pr
(November 2001)
List Price: $175.00
|
|
|
| 10. |
|
Hardware And Software, Verification And Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
by Shmuel Ur (Editor), Eyal Bin (Editor), Yaron Wolfsthal (Editor)
Paperback,
Springer-Verlag New York Inc
(March 2006)
List Price: $63.00
|
|
|
|
Showing books
1
through 10 of 65:
|
|
Items per page:
10 | 20 | 50 | 100 |
|
|
|
 |
© Copyright 1948-2007 Muze Inc. For personal non-commercial use only. All rights reserved.