Conclog: A Methodological Approach to Concurrent Logic Programming by Jean-Marie
123,08 €
Thisleads to quite easy declarative programming. Concern forsoundness and completeness ensures that multi-directionaland multi-solution correct procedures can be coded quitestraightforwardly. Correctness-preserving properties are given forthat purpose.
Jetzt bei Ebay: