Đã Đó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: specification, just natural, language questions, methods events, several language, create algorithm, formal, system task, create language, questions system, formal methods, algorithm system, specification system requirements, formal specification database, complete task within, copy paste system task, system task ssis unzip, natural language algorithm, formal specification demo, javascript task system, formal specification using, compare types

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 work.Check PM.

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

hi i am good at software engineering.Please 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