4th Refinement Workshop: Proceedings of the 4th Refinement Workshop, organised b
106,40 €
Specialising Abstract Programs. - Assertional Data Reification Proofs: Survey and Perspective. - Transforming Axioms for Data Types into Sequential Programs. - A Theory of State-based Parallel Programming: Part 1.
Jetzt bei Ebay:
