Logic-based program synthesis and transformation : 25th international symposium, LOPSTR, Siena, Italy, July 13-15, 2015 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.9527Publication details: Berlin Springer 2015ISBN: 978-3-319-27436-2Subject(s): Computer science and engineering | Logic programming -- Congresses | Program transformation(computer programming) -- Congresses | Computational complexity -- CongressesOnline 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 | EBK4459 |
Total holds: 0
There are no comments on this title.