Documentation en Sémantique formelle...

Question

J'ai besoin d'une documentation en "Sémantique Formelle des Langages de programmation" (Cours, Exercices, Examens…)
Ce module du "4ème année informatique" contient les éléments suivants:

1ère partie:
1)Induction Structurelle
2)Langage Impératif Simple:
* Commandes, Etats
* Expressions et commandes (syntaxe, sémantique)
* Equations sémantiques du langage impératif
* Commande d'affectation
* Boucle indéfinie
* Les programmes
2ème partie:
(Langages Opérationnels)--->je ne l'ai pas besoin pour le moment

je serai content à remercier tout qui veut m'aider à obtenir cette documentation.
Et merci préalablement...

choubaka · Accepted Answer

salutaller faire un tour dans la doc CCM, il y peut être ce que vous cherchezChouba,Pochard d'assaut ..

abalache · Answer

bonjour à vous :voila je me présente je suis une etudiante en 4 année informatique et je voudrrai bien recevoir les cours que vous donner sur la semantique formelle si c'est possible, merci

raouf · Answer

BonjourJ'ai un cours sur la semantique formelle et quelques documents.

katy · Answer

merci de bien vouloire (si ce n'est pas trop vous demander);de m'envoyer ce que vous avez sur ce module.
pour ne pas etre impolie je me présente:Melle boubrit katia,étudiante e 4 année informatique à l'université de mouloud mammeri de tizi ouzou,algerie.
dans l'attente de ces document je vous did bonne journnée.

med · Answer

cher mr bonjour 
je vous prie de m'envoyer par email la doc que vous disposée relatives au module de sémantique formelle 
merci et bon courage

saidkamel · Answer

je veux avoir des cours sur la  creation des site  web dynamique  avec du php est  html

moh · Answer

saha a sa

imen · Answer

J'ai besoin d'une documentation en "Sémantique Formelle des Langages de programmation" (Cours, Exercices, Examens…) 
Ce module du "4ème année informatique" contient les éléments suivants: 

1ère partie: 
1)Induction Structurelle 
2)Langage Impératif Simple: 
* Commandes, Etats 
* Expressions et commandes (syntaxe, sémantique) 
* Equations sémantiques du langage impératif 
* Commande d'affectation 
* Boucle indéfinie 
* Les programmes 
2ème partie: 
(Langages Opérationnels)--->je ne l'ai pas besoin pour le moment 

je serai content à remercier tout qui veut m'aider à obtenir cette documentation. 
Et merci préalablement...

Documentation en Sémantique formelle...

8 réponses

Discussions similaires

Newsletters