Logic based program synthesis and transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 / Patricia M. Hill, editor
Contributor(s): Hill, Patricia M [author.]
Language: English Series: Lecture notes in computer science, 0302-9743; 3901Publisher: Berlin, New York : Springer Publishing, c2006Description: x, 178 pages : illustrations ; 24 cmContent type: text Media type: unmediated Carrier type: volumeISBN: 3540326545; 9783540326540Subject(s): Logic based program synthesis | Logic based program transformation | Logic programming -- CongressesDDC classification: 005.15| Item type | Current location | Home library | Call number | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|
BOOK
|
COLLEGE LIBRARY | COLLEGE LIBRARY SUBJECT REFERENCE | 005.15 L829 2006 (Browse shelf) | Available | CITU-CL-36441 |
Total holds: 0
Browsing COLLEGE LIBRARY Shelves , Shelving location: SUBJECT REFERENCE Close shelf browser
|
|
|
|
|
|
|
||
| 005.14 So236 2018 Software testing and user experience | 005.14 Su799 2014 Software quality engineering : a practitioner's approach / | 005.14 W325 2011 Testing IT : an off-the-shelf software testing process / | 005.15 L829 2006 Logic based program synthesis and transformation : 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005 / | 005.17 W95 2004 An introduction to object-oriented programming with Java / | 005.2 Ap52 2003 Moving to VB. NET : Dan Appleman | 005.2 C769 2002 PHP bible / |
Includes index.
There are no comments for this item.