Formal specification using Z tool

Concluído Postado há 5 anos Pago na entrega

$10-30 USD

Pago na entrega

Concluído Pago na entrega

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

Matemática Análise estatística Estatísticas

ID do Projeto: #17739868

Sobre o projeto

2 propostas Projeto remoto Ativo em há 5 anos

Afim de ganhar algum dinheiro?

Benefícios de ofertar no Freelancer

Defina seu orçamento e prazo
Receba pelo seu trabalho
Descreva sua proposta
Cadastre-se e oferte em trabalhos gratuitamente

Concedido a:

Imagem 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 Mais

$30 USD em 1 dia
(2 Comentários)
2.9

2 freelancers estão ofertando em média $33 nesse trabalho

Imagem 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 em 1 dia
(8 Comentários)
4.1
Criar Projeto Similar