Find Jobs
Hire Freelancers

Write B-Method (B-Notation) machine specification for Paper Round

$30-250 USD

Lezárt
Kiadva ekkor: több mint 7 évvel ezelőtt

$30-250 USD

Teljesítéskor fizetve
Need to write Formal Specifications for Paper Round machine, using B-Method Notation. Paper shop delivers its newspapers and magazines to the houses that have subscriptions. Each house can subscribe to up to 1 newspaper and up to 3 magazines. More detailed project specs attached in PDF. Please contact me if you have questions.
Projektazonosító: 12019115

A projektről

2 ajánlat
Távolról teljesíthető projekt
Aktiválva: 7 évvel ezelőtt

Szeretne pénzt keresni?

A Freelancer oldalán történő árajánlatadás előnyei

Határozzon meg költségvetést és időkeretet
Kapja meg fizetését a munkáért
Vázolja ajánlatát
Ingyen regisztrálhat és adhat árajánlatot munkákra
2 freelancers are bidding on average $203 USD for this job
Felhasználó avatár
We are a small company from Argentina formed exclusively by Ms.C.s and Ph.D.s in Computer Sciences. We have a very strong background in formal methods and software specification. As an example we study a full course on ADT specification, we also study Z at the undergrad level. More than that, some our people are currently doing Ph.D.s related to software specification. We are sure we can help you. Anyway, the completion time is not a real estimate as we couldn't access the PDF that you mentioned on the description. Maybe if you can update the description and make sure the attachment is there we can give you a better estimate. Thank you!
$250 USD 2 napon belül
4,6 (1 értékelés)
2,7
2,7

Az ügyfélről

UNITED KINGDOM zászlója
United Kingdom
0,0
0
Tagság kezdete: nov. 8, 2016

Ügyfél-hitelesítés

Köszönjük! E-mailben elküldtük a linket, melyen átveheti ajándék egyenlegét.
E-mailje elküldése során valami hiba történt. Kérjük, próbálja újra.
Regisztrált Felhasználók Összes Közzétett Munka
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Előnézet betöltése
Hozzáférést adott a helymeghatározáshoz.
Belépési munkamenete lejárt, és kijelentkeztettük. Kérjük, lépjen be újra.