Io-7-wyk-Slajd20

Z Studia Informatyczne
Wersja z dnia 11:18, 7 wrz 2006 autorstwa MOchodek (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Plan wykładu

Plan wykładu


Plan wykładu jest następujący. Najpierw omówimy specyfikacje aksjomatyczne.

Potem przedstawię związane z nimi tzw. implementacje niestandardowe. Jest to dość ciekawe zjawisko o charakterze anomalii, z którego trzeba sobie zdawać sprawę.

Ostatnią część wykładu chciałbym poświęcić sieciom Petriego, bardzo ciekawej metodzie specyfikowania programów i systemów współbieżnych.


<< Poprzedni slajd | Spis treści | Następny slajd >>