Verified Software: Theories, Tools, Experiments
Material type: TextSeries: Lecture Notes in Computer SciencePublication details: Springer 2014ISBN:- 9783642541087
Item type | Current library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
E-Book | LRC, IIT Indore Online | Not for loan | EB1794 |
Total holds: 0