Reachability problems : 4th international workshop : proceedings, RP, Brno, Czech Republic, Aug. 28-29, 2010 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.6227 | LNCS Sublibrary: SL 1 – Theoretical Computer Science and General IssuesPublication details: Berlin Springer 2010ISBN: 978-3-642-15349-5Subject(s): Computer Science and Engineering | Computer systems -- Verification -- Congresses | Decidability (Mathematical logic) -- Congresses | Configurations -- 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 | EBK310 |
Total holds: 0
There are no comments on this title.