Tools and Algorithms for the Construction and Analysis of Systems: 32nd International Conference, TACAS 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11–16, 2026, Proceedings, Part I

ابزارها و الگوریتم‌های ساخت و تحلیل سیستم‌ها

«ابزارها و الگوریتم‌های ساخت و تحلیل سیستم‌ها» اثر گای کاتز، سباستین یونگس در کتابن ارائه می‌شود.