NASA formal methods : 8th international symposium, NFM, proceedings, Minneapolis, MN, USA, June 7-9, 2016 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.9690Publication details: Berlin Springer 2016ISBN: 978-3-319-40648-0Subject(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 | EBK4734 |
Total holds: 0
There are no comments on this title.