✦ LIBER ✦

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

✍ Scribed by Fiadeiro, José Luiz; Schobbens, Pierre-Yves

Book ID: 120982769
Publisher: Springer Berlin Heidelberg
Year: 2007
Weight: 410 KB
Category: Article
ISBN: 3540719989
DOI: 10.1007/978-3-540-71998-4_3

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

[Lecture Notes in Computer Science] Algebraic Methodology and Software Technology Volume 5140 || An Algebraic Semantics for Contract-Based Software Components

✍ Meseguer, José; Roşu, Grigore 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg ⚖ 548 KB

[Lecture Notes in Computer Science] Pers

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 1181 || Algebraic semantics of the Oberon target machine

✍ Bjørner, Dines; Broy, Manfred; Pottosin, Igor V. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 713 KB