Formal methods and software engineering : 17th international conference on formal engineering methods, ICFEM, proceedings, Paris, France, Nov 3-5, 2015 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.9407Publication details: Berlin Springer 2015ISBN: 978-3-319-25423-4Subject(s): Computer science and engineering | Formal methods (Computer science) -- Congresses | Software Engineering -- 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 Online | Link to resource | Online | EBK4362 |
Total holds: 0
There are no comments on this title.