eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingpoprawność algorytmuRe: poprawność algorytmu
  • Data: 2015-03-31 19:59:49
    Temat: Re: poprawność algorytmu
    Od: "slawek" <h...@s...pl> szukaj wiadomości tego autora
    [ pokaż wszystkie nagłówki ]

    Użytkownik napisał w wiadomości grup
    dyskusyjnych:fec16715-19e6-4b77-b1e4-ce87326de28b@go
    oglegroups.com...

    >Z ciekawości zapytam: jakie masz doświadczenie z formalnym dowodzeniem
    >twierdzeń?

    Z ciekawości zapytam: czy udało się zrobić system klasy A według Orange Book
    DoD?

    Tu masz link http://csrc.nist.gov/publications/history/dod85.pdf, jakbyś nie
    pamiętał o co chodzi, a pamiętasz, prawda?


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: