Đã Đóng

System specification / Formal Methods

Several questions on formal specification, just to compare to the results that I have from my own work. Using sets and types to create some queries / events for the formal specification.

There are only 6 questions - should probably only take an hour or so to complete.

All relevant information will be provided for you to carry out the task, including the clases and sets.

Please only bid if you can complete this within a day as it really shouldn't take long.

Kỹ năng: Thuật toán, Toán học, Ngôn ngữ tự nhiên

Xem thêm: c algorithm questions, Specification, just natural, language questions, methods events, several language, create algorithm, formal, system task, create language, questions system, formal methods, algorithm system, lightfoot david formal specification doc, specification system requirements, formal specification database, will complete task within, copy paste system task, system task ssis unzip, natural language algorithm, formal specification demo, javascript task system, software requirements specification sales inventory system project, formal specification using, sample system requirement specification car auction

Về Bên Thuê:
( 1 nhận xét ) Brushwood, United States

Mã Dự Án: #1043016

5 freelancer đang chào giá trung bình $84 cho công việc này

dobreiiita

Ready to [url removed, login to view] PM.

$40 USD trong 0 ngày
(60 Đánh Giá)
5.3
certainity

hi i am good at software [url removed, login to view] check PM.

$50 USD trong 1 ngày
(0 Đánh Giá)
0.0
karthik427

i can do this job check PMB

$50 USD trong 1 ngày
(0 Đánh Giá)
1.0
ata24

solve math problems

$30 USD trong 1 ngày
(0 Đánh Giá)
0.0
cooolestgal

ready to work from today..

$250 USD trong 0 ngày
(0 Đánh Giá)
0.0