Automated Technology for Verification and Analysis : 14th International Symposium, Atva 2016, Chiba, Japan, October 17-20, 2016, Proceedings

ISBN
9783319465197
$99.99
Format Paperback
Details
  • 9.2" x 6.1" x 1.1"
  • Active Record
  • Individual Title
  • 1 vol.
  • 2016
  • xi, 530
  • Yes
  • 9938
  • 14
  • QA75.5-76.95