LAAS - Information Scientifique et Technique

L'équipe de la bibliothèque du LAAS met à votre disposition un fonds documentaire qui rassemble autour de 5000 ouvrages et une collection de revues de 471 abonnements dont certaines remontent à la création du laboratoire. De plus quelques 8500 ouvrages sont répartis dans tout le laboratoire. Les disciplines couvertes sont l'automatique et le traitement du signal, l'électronique, l'informatique, la robotique et l'intelligence artificielle, les mathématiques et mathématiques appliquées et la physique et chimie.

LAAS-CNRS - Information Scientifique et Technique

Nouvelle recherche

Détail de la série

IFIP TC6 WG6.1 JOINT INTERNATIONAL CONFERENCE ON FORMAL DESCRIPTION TECHNIQUESFOR DISTRIBUTED SYSTEMS AND COMMUNICATION PROTOCOLS (FORTE XIII) AND PROTOCOLSPECIFICATION TESTING AND VERIFICATION (PSTV XX)

Documents disponibles dans cette série (1)

Ajouter le résultat dans votre panier Faire une suggestion Affiner la recherche

congrès

IFIP TC6 WG6.1 JOINT INTERNATIONAL CONFERENCE ON FORMAL DESCRIPTION TECHNIQUESFOR DISTRIBUTED SYSTEMS AND COMMUNICATION PROTOCOLS (FORTE XIII) AND PROTOCOLSPECIFICATION TESTING AND VERIFICATION (PSTV XX) FORMAL METHODS FOR DISTRIBUTED SYSTEM DEVELOPMENT

FORTE PSTV 2000 ; LATELLA D ; BOLOGNESI T, Éditeur scientifique | KLUWER ACADEMIC PRESS | INTERNATIONAL FEDERATION FOR INFORMATION PROCESSING | 2000

Plus d'information...

Ajouter au panier

Voir la notice détaillée

Accueil

Se connecter

Mot de passe oublié ?

Adresse

LAAS - Information Scientifique et Technique
7 avenue du Colonel Roche BP 54200
31031 Toulouse Cedex 4
France

contact