Kapalı

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]

Beceriler: Scheme, Yazılım Test Etme, Deneme / QA

İşveren Hakkında:
( 0 değerlendirme ) Bogotá, Colombia

Proje NO: #20032428

Bu iş için 1 freelancer ortalamada $40 teklif veriyor

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 Daha Fazla

$40 USD / saat
(0 Değerlendirme)
0.0