Kapalı

transition system questions, model checker - open to bidding

have some question on model checker and programming in spin (promela) and a question on transition system.

Beceriler: Muhasebe, Veri Girişi, Finans, Finansal Araştırma, Yönetim

İşveren Hakkında:
( 0 değerlendirme ) Saudi Arabia

Proje NO: #16323670

Bu iş için 4 freelancer ortalamada $130 teklif veriyor

$155 USD in 3 gün içinde
(2 Değerlendirme)
0.9
erumali0300

I'm new freelancer but I'm not new in this field. Once you'll assign your project I guarantee you will hire me again if you will have same task. Please message me for further details.

$144 USD in 3 gün içinde
(0 Değerlendirme)
0.0
LGGomez

Reliable, professional and conscientious Accounting/data encoder and Financial/Mgt support perfect for the job. I always provide my client unparalleled services and good value for their time and money spent.

$111 USD in 3 gün içinde
(0 Değerlendirme)
0.0
Ahmeddarwish1

A proposal has not yet been provided

$111 USD in 2 gün içinde
(0 Değerlendirme)
0.0