Mon compte Ma liste - 0
	Catalogue   Ressources numériques   Nouveautés   Liens utiles   Mon compte

Recherche rapide Recherche avancée Recherche alphabétique Historique Information

Recherche  AuteurTitreSujetTitre de revueCollectionCotes BUCotes ENSEACotes IUFM       Modifier la recherche     > CERGY

Elargir la recherche         Sur le même sujet :     Systèmes à paramètres répartis     Méthodes formelles (informatique)     Logiciels -- Vérification     Design patterns     Génie logiciel     Parcourir le catalogue     par auteur:      Haddad , Serge , 1956-....      Kordon , Fabrice      Petrucci , Laure       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Titre :  Méthodes formelles pour les systèmes répartis et coopératifs , sous la direction de Serge Haddad, Fabrice Kordon, Laure Petrucci Editeur :  Paris , Hermes science publ. , Lavoisier -- cop. 2006 Description :  1 vol. (XVI-347-VII p.) : ill. ; 24 cm Collection :  Traité IC2 : information, commande, communication . Informatique et systèmes d'information ISBN:  2-7462-1447-4 , rel. Notes :  Bibliogr. en fin de chapitres. Index Sujet :  Systèmes à paramètres répartis Méthodes formelles (informatique) Logiciels -- Vérification Design patterns Génie logiciel   Exemplaires Site Emplacement Cote Type de prêt Statut   Ensea Archives ARCH-5663 Empruntable Disponible

Pour toute question, contactez la bibliothèque

Horizon Information Portal 3.25_france_v1m© 2001-2019 SirsiDynix Tous droits réservés.