Zobrazeno 1 - 10
of 3 853
pro vyhledávání: '"MARTIN, CHRISTIAN"'
Autor:
Popescu-Sandu, Oana
Publikováno v:
The Slavic and East European Journal, 2019 Apr 01. 63(1), 128-130.
Externí odkaz:
https://www.jstor.org/stable/45408616
Autor:
Closson, Marianne
Publikováno v:
Revue d'Histoire littéraire de la France, 2019 Apr 01. 119(2), 443-445.
Externí odkaz:
https://www.jstor.org/stable/26640468
Autor:
Mihăilă, Anamaria
Publikováno v:
Metacritic Journal for Comparative Studies and Theory. 4(1):125-131
Externí odkaz:
https://www.ceeol.com/search/article-detail?id=678404
Autor:
Lanzinger, Florian, Martin, Christian, Reiche, Frederik, Teuber, Samuel, Heinrich, Robert, Weigl, Alexander
Most formal methods see the correctness of a software system as a binary decision. However, proving the correctness of complex systems completely is difficult because they are composed of multiple components, usage scenarios, and environments. We pre
Externí odkaz:
http://arxiv.org/abs/2401.14320
Publikováno v:
World Literature Today, 2018 Oct 01. 92(5), 94-95.
Externí odkaz:
https://www.jstor.org/stable/10.7588/worllitetoda.92.5.0094
Autor:
Maguire, Jennifer
Publikováno v:
Renaissance Studies, 2018 Jun 01. 32(3), 516-517.
Externí odkaz:
https://www.jstor.org/stable/26619040