Find Jobs
Hire Freelancers

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

$30-250 USD

Zamknięte
Opublikowano ponad 7 lat temu

$30-250 USD

Płatne przy odbiorze
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.
Identyfikator projektu: 12019115

Informację o projekcie

2 ofert
Zdalny projekt
Aktywny 7 lat temu

Szukasz sposobu na zarobienie pieniędzy?

Korzyści ze składania ofert na Freelancer.com

Ustal budżet i ramy czasowe
Otrzymuj wynagrodzenie za swoją pracę
Przedstaw swoją propozycję
Rejestracja i składanie ofert jest bezpłatne
2 freelancerzy składają oferty o średniej wysokości $203 USD dla tej pracy
Awatar Użytkownika
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 w 2 dni
4,6 (1 opinia)
2,7
2,7

O kliencie

Flaga UNITED KINGDOM
United Kingdom
0,0
0
Członek od lis 8, 2016

Weryfikacja Klienta

Dziękujemy! Przesłaliśmy Ci e-mailem link do odebrania darmowego bonusu.
Coś poszło nie tak podczas wysyłania wiadomości e-mail. Proszę spróbować ponownie.
Zarejestrowani Użytkownicy Całkowita Liczba Opublikowanych Projektów
Freelancer ® is a registered Trademark of Freelancer Technology Pty Limited (ACN 142 189 759)
Copyright © 2024 Freelancer Technology Pty Limited (ACN 142 189 759)
Wczytywanie podglądu
Udzielono pozwolenia na Geolokalizację.
Twoja sesja logowania wygasła i zostałeś wylogowany. Proszę, zalogować się ponownie.