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

ISBN
9783540401179
$99.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2003
  • viii, 241
  • Yes
  • 2648
  • Print
  • QA75.5-76.95