✦ LIBER ✦

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

✍ Scribed by Mossakowski, Till; Kreowski, Hans-Jörg

Book ID: 120306477
Publisher: Springer Berlin Heidelberg
Year: 2012
Weight: 429 KB
Category: Article
ISBN: 3642284124
DOI: 10.1007/978-3-642-28412-0_10

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 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