Foundations of Software Science and Computation Structures

درباره این کتاب

این کتاب با دسترسی آزاد، مجموعه مقالات بیست و سومین کنفرانس بین‌المللی مبانی علوم نرم‌افزار و ساختارهای محاسباتی (FOSSACS 2020) را در بر می‌گیرد. این مقالات موضوعاتی مانند مدل‌های رده‌ای و منطق، نظریه زبان، خودکارها و بازی‌ها، منطق‌های زمانی و مکانی، نظریه نوع و اثبات، نظریه همروندی و معناشناسی زبان‌های برنامه‌نویسی را پوشش می‌دهند.