6th Refinement Workshop: Proceedings of the 6th Refinement Workshop, organised b
67,36 €
Invited Papers. - Submitted Papers. - Deriving Language Recognition Algorithms. - Machine Code Programs Are Predicates Too. - Laws of Parallel Programming with Shared Variables. - Author Index. On the other hand.
Jetzt bei Ebay:
