نتایج جستجو برای: specifications
تعداد نتایج: 32012 فیلتر نتایج به سال:
Journal:
:Results in Chemistry
2019
Journal:
:Theoretical Computer Science
2012
Journal:
:The ANNALS of the American Academy of Political and Social Science
1912
Journal:
:Electronic Proceedings in Theoretical Computer Science
2019
Journal:
:Journal of the Japan Society of Applied Electromagnetics and Mechanics
2023
Journal:
:Proceedings of the ACM on programming languages
2022
Robust modules guarantee to do only what they are supposed – even in the presence of untrusted malicious clients, and considering not just direct behaviour individual methods, but also emergent from calls more than one method. Necessity is a language for specifying robustness, based on novel necessity operators capturing temporal implication, proof logic that derives explicit robustness specifi...
Journal:
:Theoretical Computer Science
1993
Journal:
:Theoretical Computer Science
1988
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید