Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, Internatio
68,59 €
Machine support requires the formalization of the artifacts and processes that arise during the software lifecycle. - A Formal View of Specification, Deductive Synthesis and Transformation of Logic Programs.
Jetzt bei Ebay: