Library of American University of Madaba
Your cart is empty.
Logic based program synthesis and transformation : 14th international symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004 : revised selected papers /
Authors: Etalle, Sandro.%editor Series: Lecture notes in computer science ; 0302-9743 ; . 3573 Published by : Springer, (Berlin ; | New York :) Physical details: viii, 277 p. : ill. ; 24 cm. ISBN: 3540266550 Subject(s): Logic Programming Year: 2005Online Resources:
Tags from this library:
No tags from this library for this title.
| Item type | Location | Call Number | Status | Date Due |
|---|---|---|---|---|
 Book |
AUM Main Library English Collections Hall | 005.115 L832 (Browse Shelf) | Available | |
| Book |
AUM Main Library English Collections Hall | 005.115 L832 (Browse Shelf) | Available | |
| Book |
AUM Main Library English Collections Hall | 005.115 L832 (Browse Shelf) | Available |
Browsing AUM Main Library Shelves, Shelving Location: English Collections Hall Close Shelf Browser
 |
 |
||||||
| 005.11 G326Generic programming : | 005.11 O242Object-oriented software engineering : | 005.11 O242Object-oriented software engineering : | 005.115 L832Logic based program synthesis and transformation : | 005.115 L832Logic based program synthesis and transformation : | 005.115 L832Logic based program synthesis and transformation : |
Includes bibliographical references and index.
Also issued online.
There are no comments for this item.