Category Archives: Uncategorized

Konsultacje w czasie sesji

Najbliższe konsultacje będę miał w CZWARTEK 28 VI w godzinach 11 – 13 w 313/C3 lub 1/C5.

Posted in Uncategorized | Możliwość komentowania Konsultacje w czasie sesji została wyłączona

Ostatnie zadanie z MIASI

W ostatnim zadaniu z analizą kodu w NuSMV proszę opracować ją dla number [0;8], aby wielkość zmiennych programu nie przekraczała zakresu int w NuSMV i wszystko działało szybko. Także trzecia rzecz do zweryfikowania niech będzie dla number=5.

Posted in Uncategorized | Możliwość komentowania Ostatnie zadanie z MIASI została wyłączona