Tutor para verificacion de software
$25-50 USD / hod.
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]
Identifikační číslo projektu: #20032428
O projektu
1 freelancer zveřejnil na tento projekt nabídky v průměrné hodnotě $40
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ší