|
|
|
Publicité ' | |||||||||||||||||||||||
17/05/2008, 09h39
|
#1 |
|
Invité de passage
 Inscription : mai 2008 Messages : 6  |
sujet de memoire sur le langage Z
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 |
|
00
|
|
21/05/2008, 16h47
|
#2 |
|
Membre éprouvé
   Développeur .NET Inscription : janvier 2004 Messages : 233 |
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. |
|
|
00
|
|
22/05/2008, 00h50
|
#3 |
|
Invité(e)
Messages : n/a |
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.
|
|
00
|
|
22/05/2008, 11h23
|
#4 |
|
Membre confirmé
 Inscription : avril 2008 Messages : 288 |
bonjour
j'aurais une question con a vous poser : c'est quoi le langage Z?  j'en n'ai jamais entendu parlé |
|
|
00
|
|
22/05/2008, 11h32
|
#5 | |
     
Louis-Guillaume MORANDConsultant @ Microsoft Inscription : mars 2003 Messages : 10 713 |
Citation:
__________________
moi c'est Louis-Guillaume, ni Louis, ni Guillaume mais Louis-Guillaume et je n'aide pas ceux qui écorchent mon nom 
|
|
|
00
|
|
21/09/2008, 15h17
|
#6 |
|
Invité régulier
 Inscription : juillet 2008 Messages : 14  |
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 |
|
|
00
|
Copyright © 2000-2012 - www.developpez.com