Nantilus
Handbook of theoretical computer science : Volume B Formal models and semantics
Enregistré dans:
| Autres auteurs : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | Handbook of theoretical computer science. Volume B, Formal models and semantics / edited by Jan Van Leeuwen |
| Publié : |
Amsterdam, New York, Oxford [etc.], Cambridge (Mass.) :
Elsevier
, cop. 1990 The Mit press |
| Description matérielle : | 1 vol. (xiv-1273 p.) |
| Sujets : |
| LEADER | 02192cam a2200601 4500 | ||
|---|---|---|---|
| 001 | PPN013097059 | ||
| 005 | 20230927055500.0 | ||
| 010 | |a 0-262-22040-7 |b rel. : MIT vol. A et B | ||
| 010 | |a 0-444-88075-5 |b rel. : Elsevier vol. A et B | ||
| 010 | |a 0-262-22039-3 |b rel. : MIT vol. B | ||
| 010 | |a 0-444-88074-7 |b rel. : Elsevier vol. B | ||
| 035 | |a 045595127 |9 sudoc | ||
| 035 | |a 072122951 |9 sudoc | ||
| 035 | |a 05121816X |9 sudoc | ||
| 035 | |a sib0449540 | ||
| 035 | |a ocm40638247 | ||
| 035 | |a urouen161128 | ||
| 035 | |a lm1025 | ||
| 035 | |a DYNIX_BUNAN_325707 | ||
| 100 | |a 19930406d1990 k y0frey0103 ba | ||
| 101 | 0 | |a eng | |
| 102 | |a NL |a US | ||
| 105 | |a a ||||001yy | ||
| 106 | |a r | ||
| 200 | 1 | |a Handbook of theoretical computer science |b Texte imprimé |h Volume B |i Formal models and semantics |f edited by Jan Van Leeuwen | |
| 210 | |a Amsterdam |a New York |a Oxford [etc.] |c Elsevier |a Cambridge (Mass.) |c The Mit press |d cop. 1990 | ||
| 215 | |a 1 vol. (xiv-1273 p.) |c fig. |d 25 cm | ||
| 305 | |a Autre(s) tirage(s) : 1992 | ||
| 320 | |a Bibliogr. en fin de chapitres. Index | ||
| 517 | | | |a Formal models and semantics | |
| 606 | |3 PPN027413942 |a Modalité (logique) |2 rameau | ||
| 606 | |3 PPN027662799 |a Logique mathématique |2 rameau | ||
| 606 | |3 PPN027237869 |a Théorie des modèles |2 rameau | ||
| 606 | |3 PPN027241378 |a Ordinateurs |x Programmation |2 rameau | ||
| 606 | |3 PPN084024682 |a Langages de programmation |x Sémantique |2 rameau | ||
| 606 | |3 PPN02733015X |a Théorie des automates mathématiques |2 rameau | ||
| 606 | |3 PPN027682005 |a Langages formels |2 rameau | ||
| 606 | |3 PPN027234886 |a Informatique |2 rameau | ||
| 606 | |3 PPN035073144 |a Logique informatique |2 rameau | ||
| 675 | |a 681.3:510 | ||
| 676 | |a 004 | ||
| 686 | |a F.0 |2 acm | ||
| 702 | 1 | |3 PPN031612075 |a Leeuwen |b Jan van |f 1946-.... |4 340 | |
| 801 | 3 | |a FR |b Abes |c 20100826 |g AFNOR | |
| 801 | 3 | |a FR |b SF |g AFNOR | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 801 | 1 | |a FR |b AIC |g AFNOR | |
| 915 | |5 441092104:180801198 |a 1160849531 |b 1160849531 | ||
| 919 | |5 441092104:180801198 |a 1160849531 | ||
| 930 | |5 441092104:180801198 |b 441092104 |a 681.311 VAN |j u | ||
| 979 | |a SCI | ||
| 998 | |a 139488 | ||