NASA formal methods : 7th international symposium, NFM, proceedings, Pasadena, CA, USA, April 27-29, 2015 (e-book)

Contributor(s): Havelund, Klaus [Editor] | Holzmann, Gerard [Editor] | Joshi, Rajeev [Editor]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 online
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number URL Status Date due Barcode Item holds
E-Books E-Books Central Library, IITB
Online 		Link to resource Online EBK4026
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha