Model Checking Software : 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013, Proceedings

ISBN
9783642391750
$64.99
Format Paperback
Details
  • 9.3" x 6.1" x 0.3"
  • Active Record
  • Individual Title
  • 1 vol.
  • 2013
  • x, 377
  • Yes
  • 7976
  • QA75.5-76.95