Logic based program synthesis and transformation : 14th international symposium, LOPSTR, Verona Italy, Aug. 26-28, 2004
Language: English Series: Lecture notes in computer science ; v.3573Publication details: Berlin ; Springer ; 2007Edition: Description: viii,279 p; 23 cmISBN: 3-540-26655-0Subject(s): | Computer Science and Engineering | Logic programming-CongressesItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB Compact Storage - Basement Area | 681.3.06Log:14:04 | Available | G55B08 | 207324 |
Total holds: 0
There are no comments on this title.