eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingjedno proste pytanieRe: jedno proste pytanie
  • Data: 2010-08-10 18:24:11
    Temat: Re: jedno proste pytanie
    Od: j...@p...onet.pl szukaj wiadomości tego autora
    [ pokaż wszystkie nagłówki ]

    > Uczono mnie logiki Hoare'a. Czy takie akademickie rozważania bywają stosowane w
    > praktyce?

    Pytam, bo zdaję sobie sprawę, że dowodzenie poprawności nawet prostego programu,
    np. algorytmu sortowania, jest żmudne.

    --
    Wysłano z serwisu OnetNiusy: http://niusy.onet.pl

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: