Find Jobs
Hire Freelancers

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

$30-250 USD

Stengt
Lagt ut over 7 år siden

$30-250 USD

Betalt ved levering
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.
Prosjekt-ID: 12019115

Om prosjektet

2 forslag
Eksternt prosjekt
Aktiv 7 år siden

Ønsker du å tjene penger?

Fordeler med budgivning på Freelancer

Angi budsjettet og tidsrammen
Få betalt for arbeidet ditt
Skisser forslaget ditt
Det er gratis å registrere seg og by på jobber
2 freelancers are bidding on average $203 USD for this job
Brukeravatar
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 om 2 dager
4,6 (1 omtale)
2,7
2,7

Om klienten

UNITED KINGDOMs flagg
United Kingdom
0,0
0
Medlem siden nov. 8, 2016

Klientbekreftelse

Takk! Vi har sendt deg en lenke for at du skal kunne kreve din gratis kreditt.
Noe gikk galt. Vær så snill, prøv på nytt.
Registrerte brukere Publiserte jobber
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Forhåndsvisning innlasting
Tillatelse gitt for geolokalisering.
Påloggingsøkten din er utløpt og du har blitt logget ut. Logg på igjen.