Formal specification using Z tool

Completado Publicado hace 5 años Pagado a la entrega

$10-30 USD

Pagado a la entrega

Completado Pagado a la entrega

I am a student and i need a formal dpecification done uding z tool/ language for. N automatic banking system

Matemáticas Análisis estadístico Estadísticas

Nº del proyecto: #17739868

Sobre el proyecto

2 propuestas Proyecto remoto Activo hace 5 años

¿Quieres ganar algo de dinero?

Beneficios de ofertar en Freelancer

Establece tu presupuesto y plazo
Cobra por tu trabajo
Describe tu propuesta
Registrarse y ofertar en los trabajos es gratis

Adjudicado a:

Foto de perfil de Eleirin
Eleirin

I am efficient in Coq, Agda, and other similar formal specification system. I believe I would be able to provide an excellent answer, along with comments and explanations. Please provide me more details (what tools ar Más

$30 USD en 1 día
(2 comentarios)
2.9

2 freelancers están ofertando un promedio de $33 por este trabajo

Foto de perfil de braincenter
braincenter

I believe that my experience and skill in this background will prove to be of great help to you. Contact me to discuss more on the details

$35 USD en 1 día
(8 comentarios)
4.1
Publicar un proyecto como este