eGospodarka.pl
eGospodarka.pl poleca

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

    > dowodzenie poprawności

    Czy którykolwiek z zaglądających na tą grupę programistów-praktyków dowodził w
    pracy poprawność swojego programu?
    Uczono mnie logiki Hoare'a. Czy takie akademickie rozważania bywają stosowane w
    praktyce?

    --
    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: