Tutor para verificacion de software

Ukončen Zveřejněno před 4 lety K zaplacení v momentě doručení
Ukončen

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]

Scheme Testování softwaru Testing / QA

Identifikační číslo projektu: #20032428

O projektu

1 nabídka Projekt na dálku Aktivní před 4 lety

1 freelancer zveřejnil na tento projekt nabídky v průměrné hodnotě $40

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 Další

$40 USD / hodina
(0 Recenzí)
0.0