Reachability problems : 10th international workshop, RP, proceedings, Aalborg, Denmark, Sept. 19-21, 2016 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.9899Publication details: Berlin Springer 2016ISBN: 978-3-319-45994-3Subject(s): Computer Science and Engineering | Computer systems -- Verification -- Congresses | Decidability (Mathematical logic) -- Congresses | Computer science -- Mathematics -- 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 | EBK4934 |
Total holds: 0
There are no comments on this title.