Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Model Checking Software : 10th International SPIN Workshop, Portland, OR, USA, May 2003 - Proceedings

Model Checking Software : 10th International SPIN Workshop, Portland, OR, USA, May 2003 - Proceedings

by Thomas Ball, Sriram K. Rajamani Paperback 2003

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Thomas Ball, Sriram K. Rajamani
  • ISBN 13: 9783540401179
  • ISBN 10: 3540401172
  • Publication Year: 2003
  • Language: English

Specifications

Index-10 3540401172
Index-13 9783540401179
Language English

✨ Readers also enjoyed...

View All →
Computer Aided Verification : 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Computer Aided Verification : 18th…

Thomas Ball, Robert B. Jones

Inquire
The Life of the Renowned Doctor Preston

The Life of the Renowned Doctor Pr…

Thomas Ball

Inquire
Candy Making in the Home

Candy Making in the Home

Christine Terhune Herrick

Inquire