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.

This entry was posted in Uncategorized. Bookmark the permalink.

Comments are closed.