pokaz koszyk
rozwiń menu
tylko:  
Księgarnia »
Indeks autorów »
Andrzej Biela

Andrzej Biela - autor


okładka książki - Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories
Andrzej Biela

Algorithmic structural completeness and a retrieval system for proving theorems in algorithmic theories

Książka. Wydawnictwo: Wydawnictwo Uniwersytetu Śląskiego ; Kategoria: Książki / Nauki ścisłe i przyrodnicze / Matematyka; Oprawa: miękka;
Dowody poprawności oprogramowania są jedynym sposobem zapewnienia użytkownika (inwestora), że można z niego korzystać bez ryzyka. W pracy rozważa się zatem klasę reguł algorytmicznie strukturalnie zupełnych, pozwalających na poprawne wnioskowanie....
pozycja niedostępna