Io-7-wyk-Slajd20
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwaniaPlan 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.