𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Theoretical Aspects of Computer Software Volume 1281 || Sets in types, types in sets

✍ Scribed by Abadi, Martín; Ito, Takayasu

Book ID
118022054
Publisher
Springer Berlin Heidelberg
Year
1997
Weight
955 KB
Category
Article
ISBN
3540695303

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Soft
[Lecture Notes in Computer Science] Software Architecture Volume 5292 || Managing Dynamic Evolution of Architectural Types
✍ Morrison, Ron; Balasubramaniam, Dharini; Falkner, Katrina 📂 Article 📅 2008 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 275 KB

The European Conference on Software Architecture (ECSA) is the premier European conference dedicated to the field of software architecture, covering all architectural features of software engineering. It is the follow-up of a successful series of European workshops on software architecture held in t

[Lecture Notes in Computer Science] Foun
[Lecture Notes in Computer Science] Foundations of Software Technology and Theoretical Computer Science Volume 1346 || Model checking
✍ Ramesh, S.; Sivakumar, G 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 190 KB

This Book Constitutes The Refereed Proceedings Of The 17th International Conference On Foundations Of Software Technology And Theoretical Computer Science, Fsttcs'97. The 18 Revised Full Papers Presented Were Selected From A Total Of 68 Submissions. Also Included Are Five Invited Papers By Ed Clarke