𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Graph Transformations Volume 6372 || A Hoare Calculus for Graph Programs

✍ Scribed by Ehrig, Hartmut; Rensink, Arend; Rozenberg, Grzegorz; Schürr, Andy

Book ID
118059265
Publisher
Springer Berlin Heidelberg
Year
2010
Weight
268 KB
Category
Article
ISBN
3642159281

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Grap
[Lecture Notes in Computer Science] Graph Transformations Volume 3256 || Representing First-Order Logic Using Graphs
✍ Ehrig, Hartmut; Engels, Gregor; Parisi-Presicce, Francesco; Rozenberg, Grzegorz 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 333 KB

This Book Constitutes The Refereed Proceedings Of The Second International Conference On Graph Transformation, Icgt 2004, Held In Rome, Italy, In September/october 2004. The 26 Revised Full Papers Presented Together With Three Invited Contributions And Summaries Of 2 Tutorials And 5 Workshops Were C