ปิด

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.

ทักษะ: ซอฟต์แวร์แบบฝังตัว, PHP, สถาปัตยกรรมซอฟต์แวร์, การพัฒนาซอฟต์แวร์, การทดสอบซอฟต์แวร์

ดูเพิ่มเติม: paper radionics machine, paper stapling machine, cakephp oauth write method, write excellent written project, write conclusion design project, write introduction marketing project

เกี่ยวกับผู้ว่าจ้าง:
( 0 บทวิจารณ์ ) United Kingdom

หมายเลขโปรเจค: #12019115

freelancer จำนวน 2 คน กำลังประมูลอยู่ที่ราคาเฉลี่ย $203 สำหรับงานนี้

$155 USD ใน 3 วัน
(8 บทวิจารณ์)
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 เพิ่มเติม

$250 USD ใน 2 วัน
(1 บทวิจารณ์)
2.7