izmenjeno 1 put, poslednji put zlatko84 08.03.2011. u 23:16
Izmene poruke
- zlatko8408.03.2011. u 23:16zapis iz teksta poruke
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.
Potpis
Zlatko