Repozytorium Uniwersytetu w Białymstoku: Wyszukaj

Data wydania	Tytuł	Autor(rzy)	Promotor	Redaktor(rzy)
2019	Partial Correctness of a Power Algorithm	Jaszczak, Adrian	-	-
2018	Partial Correctness of GCD Algorithm	Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola	-	-
2019	Partial Correctness of a Factorial Algorithm	Jaszczak, Adrian; Korniłowicz, Artur	-	-
2018	An Inference System of an Extension of Floyd-Hoare Logic for Partial Predicates	Ivanov, Ievgen; Korniłowicz, Artur; Nikitchenko, Mykola	-	-
2020	Partial Correctness of a Fibonacci Algorithm	Korniłowicz, Artur	-	-
2020	Partial Correctness of an Algorithm Computing Lucas Sequences	Jaszczak, Adrian	-	-
2020	General Theory and Tools for Proving Algorithms in Nominative Data Systems	Jaszczak, Adrian	-	-

Wyszukaj