Reachability problems : 5th international workshop : proceedings, RP, Genoa, Italy, Sept. 28-30, 2011 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.6945 | LNCS Sublibrary : SL 1 – Theoretical computer science and general issuesPublication details: Berlin Springer 2011ISBN: 978-3-642-24288-5Subject(s): Computer science and engineering | Computer systems -- Verification -- Congresses | Decidability (Mathematical logic) -- Congresses | Configurations -- CongressesOnline resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
E-Books | Central Library, IITB | Link to resource | Not for loan | EBK1122 |
Total holds: 0
There are no comments on this title.