Titre : | FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS : LNCS 2767 |
Titre de série : | 23RD IFIP WG 6.1 INTERNATIONAL CONFERENCE ON FORMAL TECHNIQUES FOR NETWORKEDAND DISTRIBUTED SYSTEMS, 23 |
Auteurs : | FORTE 2003 ; HEINER M ; WOLISZ A ; KONIG H, Éditeur scientifique |
Type de document : | congrès |
Editeur : | SPRINGER, 2003 |
Collection : | LECTURE NOTES IN COMPUTER SCIENCE, num. 2767 |
ISBN/ISSN/EAN : | 978-3-540-20175-5 |
Catégories : | |
Ville de la conférence ou de la thèse : | BERLIN |
Date de la conférence : | 29 SEP - 2 OCT 2003 |
Exemplaires (2)
Code-barres | Cote | Support | Localisation | Section | Disponibilité | Détenteur | Equipe du détenteur |
---|---|---|---|---|---|---|---|
050537 | Inconnue | PAPIER | Documentation | I - INFORMATIQUE | Consultation sur place Exclu du prêt | BIBLIO | DOC |
030468 | COURTIAT J P | PAPIER | Equipe ou service | OLC | Contacter le détenteur Exclu du prêt | COURTIAT J P | OLC |