Software engineering and formal methods : 9th international conference : proceedings, SEFM, Montevideo, Uruguay, Nov. 14-18, 2011 (e-book)
Language: English Series: Lecture notes in computer science ; v.7041Publication details: Berlin Springer 2011ISBN: 978-3-642-24690-6Subject(s): Computer science and engineering -- Congresses | Computer-aided software engineering -- Congresses | Formal methods (Computer science) -- Congresses | Artificial intelligence -- CongressesOnline resources: Click here to access online| Item type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
E-Books
|
Central Library, IITB | Link to resource | Not for loan | EBK1208 |
Total holds: 0
There are no comments on this title.