Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings
by Thomas Ball, Sriram K. Rajamani
Available
Ships From New York
Free Shipping within U.S.A
International Shipping?
Check Delivery Estimate and
Shipping Cost
for your country
| Publisher: | Springer |
| Published In: | 28-Apr-2003 |
| ISBN-10: | 3540401172 |
| ISBN-13: | 9783540401179 |
| Binding Type: | Paperback |
| Weight: | 0.93 lbs |
| Pages: | pp. 256, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss |
The Title "Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings" was published in the year 2003. The ISBN number 3540401172|9783540401179 is assigned to the Paperback version of this title. This book has total of pp. viii + 241 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. Model Checking Software 10th International SPIN Workshop. Portland, OR, USA, May 9-10, 2003, Proceedings is currently Available with us.