Logic Program Synthesis and Transformation: Proceedings of LOPSTR 92, Internatio
68,59 €
Logic program synthesis and transformation are topics of central importance to the software industry. These include techniques for the transformation of an inefficient program into an equivalent, efficient one, and the synthesis of a program from a formal specification of its required behaviour.
Jetzt bei Ebay: