Z specification for A* algorithm

$30-250 USD

Κλειστή

Αναρτήθηκε

περίπου 10 χρόνια πριν

$30-250 USD

Πληρωμή κατά την παράδοση

What I want is someone to specify the A* algorithm formally by using Z specification

Ταυτότητα εργασίας: 6209003

Σχετικά με την εργασία

4 προτάσεις

Απομακρυσμένη Εργασία

Ενεργός/ή 10 χρόνια πριν

Ψάχνεις τρόπο για να κερδίσεις μερικά χρήματα;

Διεύθυνση Email

Πλεονεκτήματα πλειοδοσίας στο Freelancer

Καθόρισε τον προϋπολογισμό σου και το χρονοδιάγραμμα

Πληρώσου για τη δουλειά σου

Περίγραψε την πρόταση σου

Η εγγραφή και η πλειοδοσία σε εργασίες είναι δωρεάν

4 freelancers δίνουν μια μέση προσφορά $169 USD για αυτή τη δουλειά

@rainbow

A proposal has not yet been provided

$155 USD σε 3 ημέρες

4,3

(24 αξιολογήσεις)

5,3

@sovenkoaavenkoaa

Предложение еще не подано

$160 USD σε 3 ημέρες

0,0

(0 αξιολογήσεις)

0,0

@uzair11235

i am an embedded programmer with 3 years of experience. i know A* algorithm what is it that u want me to do with it. please contact me to discuss details.

$200 USD σε 5 ημέρες

0,0

(0 αξιολογήσεις)

0,0

@jkd0074

I am doing my Masters on Computer Science(Major: Artificial Intelligence). A* is in my blood. The Z notation, then, is a mathematical language with a powerful structuring mechanism. In combination with natural language, it can be used to produce formal specications. We may reason about these specications using the proof techniques of mathematical logic. We may also rene a specication, yielding another description that is closer to executable code.

$138 USD σε 3 ημέρες