Verified software : theories, tools, experiments : 1st IFIP TC 2/WG 2.3 conference, VSTTE, Zurich, Switzerland, Oct. 10-13, 2005
Language: English Series: Lecture notes in computer science ; v.4171Publication details: Berlin ; Springer ; 2008Edition: Description: xxiii,546 p; 23.5 cmISBN: 978-3-540-69147-1Subject(s): | Computer Science and Engineering | Computer software-Congresses| Item type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
Books
|
Central Library, IITB Compact Storage - Basement Area | 681.3.06Ver:1:05 | Available | G55B39 | 217207 |
Total holds: 0
There are no comments on this title.