Formal methods for industrial critical systems : 16th international workshop : proceedings, FMICS, Trento, Italy, Aug. 29-30, 2011 (e-book)

Contributor(s): Language: null Series: Lecture notes in computer science ; v.6959Publication details: Berlin ; Springer ; 2011Edition: Description: ; ISBN: 978-3-642-24431-5Subject(s): | Computer Science and Engineering | Formal methods(Computer science)-Congresses , Software engineering-Congresses , Computer programs-Verification-Congresses , Computer programs-Reliability-Congresses , Computer software-Verification-CongressesOnline 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
Link to resource Not for loan EBK1135
Total holds: 0

There are no comments on this title.

to post a comment.
Share

Powered by Koha