REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

Przeglądaj przez Autor Jaszczak, Adrian

Skocz do: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
lub wpisz kilka początkowych liter:  
Pokazuję rezultaty 1 do 4 z 4
Data wydaniaTytułAutor(rzy)PromotorRedaktor(rzy)
2020General Theory and Tools for Proving Algorithms in Nominative Data SystemsJaszczak, Adrian--
2019Partial Correctness of a Factorial AlgorithmJaszczak, Adrian; Korniłowicz, Artur--
2019Partial Correctness of a Power AlgorithmJaszczak, Adrian--
2020Partial Correctness of an Algorithm Computing Lucas SequencesJaszczak, Adrian--