𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Relational and Algebraic Methods in Computer Science Volume 7560 || Towards Certifiable Implementation of Graph Transformation via Relation Categories

✍ Scribed by Kahl, Wolfram; Griffin, Timothy G.


Book ID
115471178
Publisher
Springer Berlin Heidelberg
Year
2012
Weight
295 KB
Category
Article
ISBN
3642333141

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES