|
|
|
|
| LEADER |
01199nam a22002777a 4500 |
| 001 |
251736 |
| 008 |
061113s2006 xxe ||| |||| 00| 0 fre d |
| 020 |
|
|
|a 2730213333 (br.) :
|c 18 EUR
|
| 020 |
|
|
|a 9782730213332 (br.) :
|c 18 EUR
|
| 024 |
|
|
|a 9782730213332
|
| 041 |
0 |
|
|a fre
|
| 082 |
|
|
|a 005.13
|
| 084 |
|
|
|a D.3
|
| 100 |
1 |
|
|a Dowek, Gilles,
|d 1966-
|
| 245 |
1 |
0 |
|a Introduction à la théorie des langages de programmation
|c Gilles Dowek et Jean-Jacques Lévy.
|
| 260 |
|
|
|a Palaiseau :
|b Les Éd. de l'École polytechnique,
|c impr. 2006.
|
| 300 |
|
|
|a 1 vol. (109 p.) :
|b couv. ill. en coul. ;
|c 24 cm.
|
| 504 |
|
|
|a Bibliogr. p. 109. Index
|
| 520 |
|
|
|a Les différents outils qui permettent de penser, définir et implémenter les langages de programmation les plus utilisés sont présentés avec une vision unifiée des différents formalismes (sémantique opérationnelle à petits pas, à grands pas et sémantique dénotationnelle) qui permettent de définir un langage de programmation.
|
| 650 |
|
|
|a Langages de programmation.
|
| 650 |
|
|
|a Langages de programmation
|x Sémantique
|
| 700 |
1 |
|
|a Lévy, Jean-Jacques.
|4 aut
|
| 993 |
|
|
|a Livre
|
| 994 |
|
|
|a PS
|
| 995 |
|
|
|a 110610873
|
| 997 |
|
|
|0 251736
|