Leveraging applications of formal methods, verification, and validation : 4th international symposium on leveraging applications : proceedings, ISoLA 2010, Heraklion, Crete, Greece, Oct. 18-21, 2010 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.6415 | LNCS Sublibrary : SL 1 – Theoretical computer science and general issuesPublication details: Berlin Springer 2010Description: pt.1ISBN: 978-3-642-16558-0Subject(s): Computer science and engineering | Formal methods (Computer science) -- Congresses | Software engineering -- CongressesOnline 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 | EBK484 |
Total holds: 0
There are no comments on this title.