Boa tarde Diego, seguinte estou fazendo uma cadeira na faculdade, Especificao formal, nessa cadeira aprendemos a linguagem Z e agora temos que desenvolver em linguagem z um software para controle de uma biblioteca,por exemplo, renovacao, locacao, reserva, consulta, ... gostaria de saber se vc poderia me ajudar nesse trabalho, pois na net é pouco o material em portugues ... o trabalho é dividido em partes e na primeira parte tenho que especificar as variaveis e tipos de dados, como faço isso, como descubro essas variaveis e tipos ?!?! sem puder me ajudar ... Desde ja agradeço ...
Um comentário:
Boa tarde Diego, seguinte estou fazendo uma cadeira na faculdade, Especificao formal, nessa cadeira aprendemos a linguagem Z e agora temos que desenvolver em linguagem z um software para controle de uma biblioteca,por exemplo, renovacao, locacao, reserva, consulta, ... gostaria de saber se vc poderia me ajudar nesse trabalho, pois na net é pouco o material em portugues ... o trabalho é dividido em partes e na primeira parte tenho que especificar as variaveis e tipos de dados, como faço isso, como descubro essas variaveis e tipos ?!?! sem puder me ajudar ...
Desde ja agradeço ...
Postar um comentário