Formal Methods for Executable Software Models
Material type: TextSeries: Lecture Notes in Computer SciencePublication details: Springer 2014ISBN:- 9783319073170
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
E-Book | LRC, IIT Indore Online | Not for loan | EB1404 |
Total holds: 0