NASA formal methods : 7th international symposium, NFM, proceedings, Pasadena, CA, USA, April 27-29, 2015 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.9058Publication details: Berlin Springer 2015ISBN: 978-3-319-17524-9Subject(s): Computer science and engineering | Formal methods (Computer science) -- Congresses | Fault-tolerant computing | Computer softwareOnline resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Central Library, IITB Online | Link to resource | Online | EBK4026 |
Total holds: 0
There are no comments on this title.