Specification and Compositional Verification of Real-Time Systems

ISBN
9783540549475
$99.00
Author Hooman, J.
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 1991
  • x, 242
  • Yes
  • 558
  • QA75.5-76.95