𝔖 Scriptorium
✦   LIBER   ✦
πŸ“

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 1784 || On Recognizable Stable Trace Languages

✍ Scribed by Tiuryn, Jerzy

Publisher
Springer Berlin Heidelberg
Year
2000
Category
Library
⬇  Acquire This Volume

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Foundations of Software Science and Comp
πŸ“ Foundations of Software Science and Computation Structures
✍ Christel Baier, Ugo Dal Lago πŸ“‚ Library πŸ“… 2018 πŸ› Springer International Publishing 🌐 English

<p>This book constitutes the proceedings of the 21st International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2018, which took place in Thessaloniki, Greece, in April 2018, held as part of the European Joint Conference on Theory and Practice of Software, ETAP

Software Verification (Lecture Notes in
πŸ“ Software Verification (Lecture Notes in Computer Science)
✍ Roderick Bloem (editor), Rayna Dimitrova (editor), Chuchu Fan (editor), Natasha πŸ“‚ Library πŸ“… 2022 πŸ› Springer 🌐 English

<span>This book constitutes the refereed proceedings of the 13th International Conference on Verified Software, VSTTE 2021, and the 14</span><span><sup>th</sup></span><span> International Workshop on Numerical Software Verification, NSV 2021, held online, in July/ October 2021. Due to COVID-19 pande

Foundations of Software Science and Comp
πŸ“ Foundations of Software Science and Computational Structures: 9th International Conference, FOSSACS 2006, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 3921)
✍ Luca Aceto (editor), Anna IngΓ³lfsdΓ³ttir (editor) πŸ“‚ Library πŸ“… 2006 πŸ› Springer 🌐 English

<p><span><br>This book constitutes the refereed proceedings of the 9th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2006, held in Vienna, Austria in March 2006 as part of ETAPS.</span></p><p><span>The 28 revised full papers presented together with 1

Coordination Models and Languages (Lectu
πŸ“ Coordination Models and Languages (Lecture Notes in Computer Science)
✍ Maurice H. ter Beek (editor), Marjan Sirjani (editor) πŸ“‚ Library πŸ“… 2022 πŸ› Springer 🌐 English

<p><span>This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2022, held in Lucca, Italy, in June 2022, as part of the 17th International Federated Conference on Distributed Computing Techniques, DisCoTec 20