eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programming[OT] Duża kasa i kiepski wynik - dlaczego?Re: [OT] Duża kasa i kiepski wynik - dlaczego?
  • Data: 2015-09-13 21:42:22
    Temat: Re: [OT] Duża kasa i kiepski wynik - dlaczego?
    Od: Sebastian Biały <h...@p...onet.pl> szukaj wiadomości tego autora
    [ pokaż wszystkie nagłówki ]

    On 2015-09-13 21:37, AK wrote:
    > Użytkownik "Sebastian Biały" <h...@p...onet.pl> napisał:
    >> Sorry taki mamy wszechświat. Soft do respiratora mozna zweryfikować
    >> formalnie.
    > Zadnego programu napisanemu w C++ nie mozna zweryfikowac formalnie.
    > To nie Ada.

    Taki się da:

    int main() {}

    Więc twierdzenie że żadnego jest kłamstem. Da się weryfikować znacznie
    większe.

    Ponadto kto Cie okłamał że soft w respiratorze jest w C++?

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: