Stratégies de spécification des systèmes temps réel SA-RT

Stratégies de spécification des systèmes temps réel SA-RT

Enregistré dans:
Détails bibliographiques
Auteur principal : Hatley Derek J.
Autres auteurs : Kramer André (Traducteur)
Format : Livre
Langue : français
Titre complet : Stratégies de spécification des systèmes temps réel SA-RT / Derek J. Hatley, Imitiaz A. Pirbhai; trad. de l'américain par Abdelkader Boughlam,... et André Kramer,...; préf. de Tom DeMarco
Publié : Paris, Milan, Barcelone : Masson , 1991
Description matérielle : XX-346 p.
Collection : M.I.P.S. Méthodes informatiques et pratique des systèmes. ; 1991
Sujets :
Systèmes d'information > Spécifications
LEADER 01886nam a2200457 4500
001 PPN002006618
005 20231026060000.0
009 DYNIX_BUNAN_330105
010 |a 2-225-82229-8  |b br.  |d 390 F 
020 |a FR  |b 09131711 
021 |a FR  |b DL 90-33161 
035 |a frBN010847136 
100 |a 19910128d1990 m u0frey0103 ba 
101 1 |a fre  |c eng 
102 |a ZZ 
105 |a a zz 00|z| 
106 |a r 
200 1 |a Stratégies de spécification des systèmes temps réel SA-RT  |f Derek J. Hatley, Imitiaz A. Pirbhai  |g trad. de l'américain par Abdelkader Boughlam,... et André Kramer,...  |g préf. de Tom DeMarco 
210 |a Paris  |a Milan  |a Barcelone  |c Masson  |d 1991  |e 61-Alençon  |g Normandie impr.  |h 1990 
215 |a XX-346 p.  |c ill.  |d 24 cm 
225 2 |a MIPS, Méthodes informatiques et pratique des systèmes  |x 0757-7206 
300 |a Bibliogr. p. 335-340. Index 
345 |b 9782225822292 
410 0 |3 frBN004397282  |t M.I.P.S. Méthodes informatiques et pratique des systèmes.  |x 0757-7206  |v 1991 
454 1 |a Strategies for real-time system specification 
606 |3 frBN001655165  |a Systèmes d'information  |3 frBN00212391X  |x Spécifications 
675 |a 67  |v Éd. 1967 
676 |a 670 
700 1 |3 frBN006378544  |a Hatley  |b Derek J. 
701 1 |3 frBN007717595  |a Pirbhai  |b Imtiaz A  |f 1953-.... 
701 1 |3 frBN007776394  |a Boughlam  |b Abdelkader 
702 1 |3 frBN006378551  |a Kramer  |b André  |4 730 
801 3 |a FR  |b BN  |c 19980308  |g AFNOR 
960 |3 frBN001655165  |a Documentation, Systèmes de  |9 60601 
960 |3 frBN001655165  |a Information, Systèmes d'  |9 60601 
960 |3 frBN001655165  |a Systèmes de documentation  |9 60601 
979 |a STN 
990 |c BN  |d Impr.  |a 8-V-103282 
990 |c BN  |d C Pret  |a DL8-102786 
993 |a 0100008846  |b STN  |c 004.338 HAT  |d EM  |e GAESA  |f I  |g 29-06-1998  |h 31-08-2001  |k 67.53  |o 05-06-2000  |p 1  |s 100905  |t EM  |u STNLEI  |v i 
998 |a 142299