Discussion :

[charki07]

Bonjour les amis, je suis nouveau dans ce forum
je vais travailler sur la notation Z avec des formules de la logique temporelle;
(c.a.d spécification formelle)
Quels sont vos avis sur ce thème de recherche??
je n'ai pas trouvé des tutoriels sur le Z dans ce forum??????????pourqoi???
Meme sur le Net j'ai trouvé que des manuels....
Si quelqu'un connait des liens sur des exercices corrigés en Z peut-il m'envoyer et merci

[behe]

salut,
trouver des tutorieux pour le langage Z (pas sur de l'écriture) ne va pas être facile; A part lors de mes études en IUT (Vélizy) je n'en ai jamais re-entendu parler. ce langage est utiliser dans une niche extrèmement spécialisée, pas sur que tu trouves des réponses ici.

[alex_pi]

va faire un tour sur le sous forum "autres langages", tu auras sans doute plus de chance d'y trouver une réponse qu'ici.

[pyrene]

bonjour

j'aurais une question con a vous poser :
c'est quoi le langage Z?

j'en n'ai jamais entendu parlé

[Louis-Guillaume Morand]

bonjour

j'aurais une question con a vous poser :
c'est quoi le langage Z?

j'en n'ai jamais entendu parlé

tape sur google, les premiers liens l'expliquent

[bouguerra]

salut,
j'ai des initiations pour ce lgge dans le cadre de la symantique formelle des programes mais je te conseille de faire un autre sujet plus pratique