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 revueCollectionEditeurNoteTous motsISBNPPN       Modifier la recherche   > CERGY

Résultats de recherche  5 résultat(s) pour  Computer software -- Verification

Trier par: Choisissez...Aucun(e)AuteursTitresEditeursType de document Date d'édition croissanteDate d'édition décroissanteHIP titre Abreg inverse    Limiter par: Type de document --Livres imprimés --Revues papier --Thèses --Vidéos / DVD --Documents électroniques --Cartes --ArticlesBibliothèque --Cerclades --Chênes --Neuville --St Martin --Argenteuil --Sarcelles --Ensea --Antony --Cergy-Hirsch --Saint-Germain-en-Laye --GennevilliersLangue --Anglais --Français --Allemand --Italien --Japonais --Portugais --Espagnol

 

---

1. Metamodeling-driven IP reuse for SoC integration and microprocessor design Mathaikutty , Deepak A. Artech House -- cop. 2009      2. Co-verification of hardware and software for ARM SoC design Andrews , Jason R. Newnes -- c2005      3. Numerical software with result verification : international Dagstuhl seminar, Dagstuhl Castle, Germany, January 19-24, 2003 : revised papers International Dagstuhl seminar "Numerical software with result verification" -- Seminar number 03041 -- 2003 -- Dagstuhl castle, Germany Springer -- cop. 2004      4. Systems and software verification : model-checking techniques and tools Bérard , Béatrice Updated version of the French language edition Springer -- cop. 2001      5. Co-verification of Hardware and Software for ARM SoC Design Andrews , Jason Elsevier Science & Technology Books -- [20..]

Ma liste : (ex. 1,2 ou 5-20, max. 100)

Pour toute question, contactez la bibliothèque

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