Modelling and performance evalutation methodology : proceedings of the International seminar Paris, France, january 24-26, 1983 / edited by F. Baccelli, G. Fayolle |
Autore | Baccelli, François Louis <1954- > |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer-Verlag, 1984 |
Descrizione fisica | 653 p. : ill. ; 24 cm |
Disciplina | 621.382 |
Altri autori (Persone) | Fayolle, G. |
Collana | Lecture notes in control and information sciences |
Soggetto non controllato |
Reti di computer - congressi
Protocolli per reti di computer - Congressi |
ISBN | 3-540-13288-0 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000459360403321 |
Baccelli, François Louis <1954- >
![]() |
||
Berlin ; Heidelberg : Springer-Verlag, 1984 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Protocol specification, testing, and verification : proceedings of the IFIP WG6.1 second international workshop on protocol specifictaion, testing, and verification, organized by USC/ISI Idyllwild, California, U.S.A., 17-20 may 1982 / edited by Carl Sunshine |
Autore | IFIP WG 6.1 International workshop on protocl specification, testing, and verification : <2. ; : 1982 |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1982 |
Descrizione fisica | 572 p. : ill. ; 23 cm |
Disciplina | 004.62 |
Soggetto non controllato | Protocolli per reti di computer - Congressi |
ISBN | 0-444-86481-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000460030403321 |
IFIP WG 6.1 International workshop on protocl specification, testing, and verification : <2. ; : 1982
![]() |
||
Amsterdam : North-Holland, 1982 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Protocol specification, testing, and verification, III : proceedings of the IFIP WG 6.1 third international workshop on protocol specification, testing, testing and verification, organized by IBM research Ruschlikon, Switzerland, 31 may- 2 june, 1983 / edited by Harry Rudin, Colin H. West |
Autore | IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <3. ; : 1983 |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1983 |
Descrizione fisica | 531 p. : ill. ; 24 cm |
Disciplina | 004.62 |
Soggetto non controllato | Protocolli per reti di computer - Congressi |
ISBN | 0-444-86769-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000455140403321 |
IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <3. ; : 1983 | ||
Amsterdam : North-Holland, 1983 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Protocol specification, testing, and verification, IV : proceedings of the IFIP WG 6.1 fourth International workshop on protocol specification, testing, and verification organized by Columbia University Skytop Lodge, Pennsylvania, U.S.A., june 11-14, 1984 / edited by Yechiam Yemini, Robert Strom, Shaula Yemini |
Autore | IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <4. ; : 1984 |
Pubbl/distr/stampa | Amsterdam : North-Holland, 1985 |
Descrizione fisica | 720 p. : ill. ; 24 cm |
Disciplina | 004.62 |
Soggetto non controllato | Protocolli per reti di computer - Congressi |
ISBN | 0-444-87676-6 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000455880403321 |
IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <4. ; : 1984
![]() |
||
Amsterdam : North-Holland, 1985 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Protocol specification, testing, and verification, V : proceedings of the IFIP WG 6.1 fifth international workshop on protocol specification, testing, and verification organized by the LAAS du CNRS Toulouse-Moissac, France, june 10-13, 1985 / edited by Michel Diaz |
Autore | IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <5. ; : 1985 |
Pubbl/distr/stampa | Amsterdan : North-Holland, 1986 |
Descrizione fisica | 544 p. : ill. ; 24 cm |
Disciplina | 004.62 |
Soggetto non controllato | Protocolli per reti di computer - Congressi |
ISBN | 0-444-87881-5 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990000455240403321 |
IFIP WG 6.1 International workshop on protocol specification, testing, and verification : <5. ; : 1985
![]() |
||
Amsterdan : North-Holland, 1986 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|