Io-7-wyk-Slajd20

Z Studia Informatyczne
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 >>