Formal Methods and Hybrid Real-Time Systems [electronic resource] Essays in Honor of Dines Bj७rner and Chaochen Zhou on the Occasion of Their 70th Birthdays by Cliff B Jones, Zhiming Liu and Jim Woodcock
Material type:![Book](/opac-tmpl/lib/famfamfam/BK.png)
- 9783540752219
- 004.33 (e-book)
Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
![]() |
JRD Tata Memorial Library | 004.33 (e-book) (Browse shelf(Opens below)) | Available | E10611 |
There are no comments on this title.