Titre : | FORMAL METHODS VOLUME II : LNCS 1709 |
Titre de série : | WORLD CONGRESS ON FORMAL METHODS IN THE DEVELOPMENT OF COMPUTING SYSTEMS |
Auteurs : | FM 99 ; WOODCOCK J ; DAVIES J ; WING J M, Éditeur scientifique |
Type de document : | congrès |
Editeur : | SPRINGER, 1999 |
Collection : | LECTURE NOTES IN COMPUTER SCIENCE, num. 1709 |
ISBN/ISSN/EAN : | 978-3-540-66588-5 |
Catégories : | |
Ville de la conférence ou de la thèse : | TOULOUSE |
Date de la conférence : | 20-24 SEP 1999 |
Exemplaires (4)
Code-barres | Cote | Support | Localisation | Section | Disponibilité | Détenteur | Equipe du détenteur |
---|---|---|---|---|---|---|---|
990457 | Inconnue | PAPIER | Documentation | I - INFORMATIQUE | Consultation sur place Exclu du prêt | BIBLIO | DOC |
990463 | PRADIN CHEZALVIEL B | PAPIER | Equipe ou service | OLC | Contacter le détenteur Exclu du prêt | PRADIN CHEZALVIEL B | OLC |
990500 | VERNADAT F | PAPIER | Equipe ou service | OLC | Contacter le détenteur Exclu du prêt | VERNADAT F | OLC |
990483 | WAESELYNCK H | PAPIER | Equipe ou service | TSF | Contacter le détenteur Exclu du prêt | WAESELYNCK H | TSF |