Đã Đóng

Tutor para verificacion de software

Tutor para verificacion de software haciendo uso de methodos de pruebas logicas (Equalitiy Chaining, Induction, Semantic Logic, etc) que tenga familiaridad con Athena preferiblimente o Scheme o ML.

Libro de referencia: Fundamental Proof Methods in Computer Science

[login to view URL]

Kĩ năng: Scheme, Kiểm tra phần mềm, Kiểm tra/QA

Về Bên Thuê:
( 0 nhận xét ) Bogotá, Colombia

ID dự án: #20032428

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

malikasad079

I am a graduate in Computer Science. I am a honest person with a bundle of technical skills. I hope you will find my work interesting and hire me for your job. I feel that I can add professionalism and accuracy to your Thêm

$40 USD / giờ
(0 Nhận xét)
0.0