Reactive systems modeling specification and verification
Material type: TextPublication details: Cambridge ; Cambridge University Press ; 2007Description: 284ISBN: 9780521875462Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3 ACE (Browse shelf (Opens below)) | Available | 62012 |
There are no comments on this title.