Verified Software: Theories, Tools, Experiments : 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012 Proceedings

ISBN
9783642277047
$74.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2012
  • xi, 326
  • Yes
  • 7152
  • QA75.5-76.95