Formal Methods - Applications and Technology : 11th International Workshop, FMICS 2006 and 5th International Workshop, PDMC 2006, Bonn, Germany, August 2006, Revised Selected Papers

ISBN
9783540709510
$109.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2007
  • x, 366
  • Yes
  • 4346
  • Print
  • QA75.5-76.95