Ditutup

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.

Keahlian Perangkat Lunak Bawaan, PHP, Perancangan Perangkat Lunak, Pengembangan Perangkat Lunak, Pengujian Perangkat Lunak

Lihat lebih lanjut: paper radionics machine, paper stapling machine, cakephp oauth write method, write excellent written project, write conclusion design project, write introduction marketing project

Tentang Pemberi kerja:
( 0 ulasan ) United Kingdom

ID Proyek: #12019115

2 freelancer menawar pada rata-rata $203 untuk pekerjaan ini

$155 USD dalam 3 hari
(8 Ulasan)
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 Lagi

$250 USD dalam 2 hari
(1 Ulasan)
2.7