|
|
|
|
LEADER |
01856cam a2200553 4500 |
001 |
PPN012550558 |
003 |
http://www.sudoc.fr/012550558 |
005 |
20240703060400.0 |
010 |
|
|
|a 978-2-225-82746-4
|b br.
|
010 |
|
|
|a 2-225-82746-X
|b br.
|d 180 FRF
|
035 |
|
|
|a (OCoLC)25701803
|
035 |
|
|
|a ocm25701803
|
035 |
|
|
|a lm81106
|
035 |
|
|
|a sib0407198
|
035 |
|
|
|a DYNIX_BUFDF_137138
|
073 |
|
1 |
|a 9782225827464
|
100 |
|
|
|a 19921030h19921992k y0frey0103 ba
|
101 |
0 |
|
|a fre
|2 639-2
|
102 |
|
|
|a FR
|
105 |
|
|
|a a a 001yy
|
106 |
|
|
|a r
|
181 |
|
|
|6 z01
|c txt
|2 rdacontent
|
181 |
|
1 |
|6 z01
|a i#
|b xxxe##
|
182 |
|
|
|6 z01
|c n
|2 rdamedia
|
182 |
|
1 |
|6 z01
|a n
|
183 |
|
|
|6 z01
|a nga
|2 RDAfrCarrier
|
200 |
1 |
|
|a Systèmes de transitions finis et sémantique des processus communicants
|f André Arnold,...
|
214 |
|
0 |
|a Paris
|a Milan [etc.]
|c Masson
|
214 |
|
4 |
|d C 1992
|
215 |
|
|
|a 1 volume (xii-196 pages)
|c illustrations
|d 25 cm
|
225 |
0 |
|
|a Etudes et recherches en informatique
|x 0763-2770
|
320 |
|
|
|a Bibliographie p. [185]-191. Index
|
410 |
|
| |
|0 001030035
|t E.R.I. Etudes et recherches en informatique
|x 0763-2770
|
606 |
|
|
|3 PPN027235912
|a Langages de programmation
|2 rameau
|
606 |
|
|
|3 PPN027682005
|a Langages formels
|2 rameau
|
606 |
|
|
|3 PPN02787656X
|a Parallélisme (informatique)
|2 rameau
|
606 |
|
|
|3 PPN02733015X
|a Théorie des automates mathématiques
|2 rameau
|
606 |
|
|
|3 PPN027440850
|a Théorie des machines séquentielles
|2 rameau
|
700 |
|
1 |
|3 PPN030367719
|a Arnold
|b André
|f 1945-....
|4 070
|
801 |
|
1 |
|a US
|b OCLC
|g AACR2
|
801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
801 |
|
3 |
|a FR
|b Abes
|c 20240702
|g AFNOR
|
801 |
|
1 |
|a FR
|b AIC
|g AFNOR
|
979 |
|
|
|a SCI
|
979 |
|
|
|a IUTN
|
930 |
|
|
|5 441092104:739402447
|b 441092104
|j u
|
930 |
|
|
|5 441092206:826122744
|b 441092206
|j s
|
998 |
|
|
|a 929819
|