[ zlatko84 @ 08.03.2011. 21:50 ] @
| Ima li neko da je radio nesto u ovom jeziku za verifikaciju modeliranja. Naime trebam u PROMELI ili SPIN-u uraditi funkciju a^b (a na b). Molim za pomoc stvarno mi je jako bitno. [Ovu poruku je menjao zlatko84 dana 08.03.2011. u 23:16 GMT+1] |