Runtime verification : first international conference : proceedings, RV, St. Julians, Malta, Nov. 1-4, 2010 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.6418 | LNCS Sublibrary : SL 2 – Programming and Software EngineeringPublication details: Berlin Springer 2010ISBN: 978-3-642-16612-9Subject(s): Computer science and engineering | Computer programs -- Congresses -- Verification | Formal methods (Computer science) -- Congresses | Computer programs -- Congresses -- TestingOnline resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
E-Books | Central Library, IITB Online | Link to resource | Online | EBK486 |
Total holds: 0
There are no comments on this title.