- EAN13
- 9786131580222
- Éditeur
- Univ Européenne
- Date de publication
- 1 avril 2018
- Collection
- OMN.UNIV.EUROP.
- Nombre de pages
- 92
- Dimensions
- 22,9 x 15,2 x 0,6 cm
- Poids
- 148 g
- Langue
- fre
Vérification Des Systèmes Sur Puce Soc Basée Sur Les Assertions Abv
Ferchichi-A
Univ Européenne
Prix public : 49,90 €
Le présent livre traite le problème de vérification des systémes sur puce connus aussi par le terme anglais système on Chip. Le traitement des SOC se fait dans un niveau d'abstraction évolué connus pas niveau transactionnel TLM. La technique de vérfication proposée est basée sur l'utilisation des assertion ABV. Le langage de programmation utilisé est le System C pour les plateformes. Pour les assrtion, on utilisé des langages scripts tel que le PERL.
Offres
Redirection vers
Vous allez être redirigé vers , membre du portail leslibraires.fr, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Canal BD, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Réseau Sorcières, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires Ensemble, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libr'Aire, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail ALIP, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librairies Initiales, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Paris Librairies, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires à Nice, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librairies en Nouvelle-Aquitaine, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Chez Mon Libraire, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Place des libraires, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Lalibrairie.com, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librest, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires du Sud, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Librairies 93, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Libraires de l'Est, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.Redirection vers
Vous allez être redirigé vers , membre du portail Association des Librairies Indépendantes d'Occitanie, pour réaliser votre achat.
Cliquez ici pour être redirigé immédiatement, ou attendez secondes.