Systèmes temps réel

Enregistré dans:
Détails bibliographiques
Auteur principal : Perez Jean-Paul (Auteur)
Format : Livre
Langue : français
Titre complet : Systèmes temps réel / Jean-Paul Perez,...
Publié : Paris : Bordas , DL 1990
Dunod
Description matérielle : 1 vol. (243 p.)
Collection : Informatique industrielle (Paris. 1990)
Sujets :
LEADER 03065cam a2200685 4500
001 PPN001697919
003 http://www.sudoc.fr/001697919
005 20231026060400.0
010 |z 2-04-019724-1  |b erroné 
010 |a 2-04-019724-9  |b br.  |d 140 F  |z 2-04-019724-1 
020 |a FR  |b 09102019 
021 |a FR  |b DL 90-23580 
033 |a http://catalogue.bnf.fr/ark:/12148/cb35102727p 
035 |a 134883829  |9 sudoc 
035 |a (OCoLC)22746652 
035 |a ocm22746652 
035 |a sib0249143 
035 |a PRITEC.TOURS.010011011001 
035 |a CNAM18421 
035 |a frBN008588648 
035 |a FRBNF351027270000006  |z FRBNF35102727 
073 0 |a 9782040197247 
100 |a 19901016h19901990k y0frey0103 ba 
101 0 |a fre  |2 639-2 
102 |a FR 
105 |a a az 000yy 
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 temps réel  |f Jean-Paul Perez,... 
210 |a Paris  |c Bordas  |c Dunod  |d DL 1990  |e 86-Ligugé  |g Impr. Aubin 
215 |a 1 vol. (243 p.)  |c ill., couv. ill. en coul.  |d 26 cm 
225 0 |a Informatique industrielle 
304 |a La couv. porte en plus : "méthodes de spécification et de conception" 
320 |a Bibliogr. p. 243 
359 2 |b Chapitre 1. Identification et vie des systèmes temps réel  |b Chapitre 2. Fondements de la spécification des sysètèmes temps réel  |b Chapitre 3. Outils de spécification de l'aspect fonctionnel  |b Chapitre 4. Outils de spécification de l'aspect évènementiel  |b Chapitre 5. Outils de spécification de l'aspect informationnel  |b Chapitre 6. Spécification des systèmes temps réel, selon WM  |b Chapitre 7. Spécification des systèmes temps réel selon HP  |b Chapitre 8. Stratégies de spécification  |b Chapitre 9. FOndements de la conception préliminaire des systèmes temps réel  |b Chapitre 10. Passage de la spécification à la conception d'un système temps réel  |b Chapitre 11. Outils et méthodes de conception préliminaire des systèmes temps réel 
410 | |0 039913325  |t Informatique industrielle (Paris. 1990)  |x 1152-0027 
606 |3 PPN029908663  |a Industrie  |x Informatique  |2 rameau 
606 |3 PPN027333930  |a Temps réel (informatique)  |2 rameau 
675 |a 67  |v Éd. 1967 
676 |a 670 
680 |a QA76.54 
700 1 |3 PPN030216885  |a Perez  |b Jean-Paul  |4 070 
801 3 |a FR  |b Abes  |c 20211217  |g AFNOR  |h 134883829 
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 BN  |g AFNOR 
979 |a IUTNC 
979 |a IUTN 
915 |5 441092220:440828856  |b 10093 
930 |5 441092220:440828856  |b 441092220  |j s 
930 |5 441092206:801175135  |b 441092206  |j s 
991 |5 441092220:440828856  |a exemplaire créé automatiquement par l'ABES 
991 |5 441092220:440828856  |a Exemplaire modifié automatiquement. le 23-01-2023 15:56 
991 |5 441092206:801175135  |a Exemplaire créé en masse par ITEM. le 25-10-2023 14:01 
998 |a 61771