eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programmingpoprawność algorytmuRe: poprawność algorytmu
  • Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.
    atman.pl!goblin1!goblin.stu.neva.ru!newsfeed.neostrada.pl!unt-exc-01.news.neost
    rada.pl!unt-spo-b-01.news.neostrada.pl!news.neostrada.pl.POSTED!not-for-mail
    From: "slawek" <h...@s...pl>
    Newsgroups: pl.comp.programming
    References: <4...@g...com>
    <d...@g...com>
    <meti4e$osd$1@srv.chmurka.net>
    <f...@g...com>
    <mevfpd$gpa$1@srv.chmurka.net>
    <e...@g...com>
    <mf1tnf$d48$1@srv.chmurka.net>
    <d...@g...com>
    <e...@g...com>
    <a...@n...v.pl>
    <f...@g...com>
    In-Reply-To: <f...@g...com>
    Subject: Re: poprawność algorytmu
    Date: Tue, 31 Mar 2015 19:59:49 +0200
    MIME-Version: 1.0
    Content-Type: text/plain; format=flowed; charset="iso-8859-2"; reply-type=original
    Content-Transfer-Encoding: 8bit
    X-Priority: 3
    X-MSMail-Priority: Normal
    Importance: Normal
    X-Newsreader: Microsoft Windows Live Mail 15.4.3555.308
    X-MimeOLE: Produced By Microsoft MimeOLE V15.4.3555.308
    Lines: 13
    Message-ID: <551ae096$0$2187$65785112@news.neostrada.pl>
    Organization: Telekomunikacja Polska
    NNTP-Posting-Host: 83.23.104.250
    X-Trace: 1427824790 unt-rea-a-01.news.neostrada.pl 2187 83.23.104.250:49595
    X-Complaints-To: a...@n...neostrada.pl
    Xref: news-archive.icm.edu.pl pl.comp.programming:207728
    [ ukryj 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: