Geschlossen

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

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.

Fähigkeiten: Eingebettete Software, PHP, Softwarearchitektur, Software-Entwicklung, Testen von Software

Mehr sehen: paper radionics machine, sas paper cup machine price list in india, create a logo for paper embossing machine, write a b-plan, paper stapling machine, write method accepts string argument, write method java accepts string argument, unorderedlinkedlist reverse write method, cakephp oauth write method, write method takes input binary tree, write excellent written project, write conclusion design project, write introduction marketing project, write acknowledgement software project college management, write introduction conclusion project report

Über den Arbeitgeber:
( 0 Bewertungen ) United Kingdom

Projekt-ID: #12019115

2 Freelancer bietetn im Durchschnitt $203 für diesen Job an

$155 USD in 3 Tagen
(8 Bewertungen)
5.2
ivissani

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 Mehr

$250 USD in 2 Tagen
(1 Bewertung)
2.7