Formal Methods of Program Verification and Specification

ISBN
9780685038611
$22.50
Author Franta, W. R.
Format Trade Cloth
Details
  • Active Record
  • Individual Title
  • Books
  • 1982/03
  • 224
  • Yes
  • Print