Practical Aspects of Declarative Languages المزيد من الكتب المشابهة
Practical Aspects of Declarative Languages
٢٠٢٣
Computer Aided Verification
٢٠١٦
Software Engineering and Formal Methods
٢٠٢١
Fundamentals of Software Engineering
٢٠٢١
NASA Formal Methods
٢٠١٨
Integrated Formal Methods
٢٠٢٠
Theoretical Aspects of Software Engineering
٢٠٢٢
Dependable Software Engineering. Theories, Tools, and Applications
٢٠١٧
Formal Methods – The Next 30 Years
٢٠١٩
NASA Formal Methods
٢٠٢٢
Formal Methods
٢٠٢٣
Integrated Formal Methods
٢٠١٧
Software Engineering and Formal Methods
٢٠٢٢
FM 2016: Formal Methods
٢٠١٦
Software Engineering and Formal Methods
٢٠١٨