IFIP TC2/WG 2.1 State-of-the-Art Report
De som köpt den här boken har ofta också köpt Sound and Recording av Francis Rumsey (häftad).
Köp båda 2 för 1618 krElements of a relational theory of datatypes.- From dynamic programming to greedy algorithms.- Practical transformation of functional programs for efficient execution: A case study.- Behavior-oriented specification in Gist.- Derivation of graph and pointer algorithms.- The refinement calculus, and literate development.- Formal problem specification on an algebraic basis.- Program development in an algebraic setting.- Rules and strategies for program transformation.- Endomorphic typing.- Automating the design of algorithms.- Virtual data structures.