FM : formal methods : 17th international symposium on formal methods : proceedings, Limerick, Ireland, June 20-24, 2011 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.6664 | LNCS Sublibrary : SL 2 – Programming and Software EngineeringPublication details: Berlin Springer 2011ISBN: 978-3-642-21437-0Subject(s): Computer Science and Engineering | Computer software -- Congresses -- Development | Formal methods (Computer science) -- Congresses | System design -- Congresses -- MathematicsOnline 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 | EBK847 |
Total holds: 0
There are no comments on this title.