✦ LIBER ✦

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 1376 || An inductive view of graph transformation

✍ Scribed by Presicce, Francesco Parisi

Book ID: 127367335
Publisher: Springer Berlin Heidelberg
Year: 1998
Weight: 930 KB
Category: Article
ISBN: 3540697195
DOI: 10.1007/3-540-64299-4_36

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Rece

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 7137 || An Institution for Graph Transformation

✍ Mossakowski, Till; Kreowski, Hans-Jörg 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 270 KB

[Lecture Notes in Computer Science] Rece

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 4409 || Algebraic Semantics of Service Component Modules

✍ Fiadeiro, José Luiz; Schobbens, Pierre-Yves 📂 Article 📅 2007 🏛 Springer Berlin Heidelberg ⚖ 410 KB

[Lecture Notes in Computer Science] Rece

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 2755 || AGILE: Software Architecture for Mobility

✍ Wirsing, Martin; Pattinson, Dirk; Hennicker, Rolf 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg ⚖ 529 KB

[Lecture Notes in Computer Science] Rece

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 7137 || Towards Logical Frameworks in the Heterogeneous Tool Set Hets

✍ Mossakowski, Till; Kreowski, Hans-Jörg 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 429 KB

[Lecture Notes in Computer Science] Rece

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 1589 || Concurrency and Data Types: A Specification Method An Example with LOTOS

✍ Fiadeiro, José Luiz 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 368 KB

The European Conference Situationin The General Area Of Software Science Has Longbeen Considered Unsatisfactory. A Fairlylarge Number Of Small And Medi- Sized Conferences And Workshops Take Place On An Irregular Basis, Competing For High-quality Contributions And For Enough Attendees To Make Them ?n

[Lecture Notes in Computer Science] Rela

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

✍ Kahl, Wolfram; Griffin, Timothy G. 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 295 KB