Księgarnia »
Indeks autorów »
Andrzej Biela
Andrzej Biela - autor
Andrzej Biela
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