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 :     Constraints (Artificial intelligence)     Digital electronics -- Testing     Electronic systems -- Testing     Electronic systems -- Design and construction     Électronique -- Conception     Contraintes (intelligence artificielle)     Systèmes électroniques -- Inspection     Systèmes électroniques -- Conception et construction     Parcourir le catalogue     par auteur:      Yuan , Jun      Pixley , Carl      Aziz , Adnan       Rechercher sur Internet     Localiser dans une autre bibliothèque (SUDOC) (PPN ou ISBN ou ISSN)     Aperçu dans Google Books     Affichage MARC

Auteur :  Yuan , Jun Titre :  Constraint-based verification , Jun Yuan, Carl Pixley, Adnan Aziz Editeur :  New York, NY , Springer -- c2006 Description :  1 vol. (xii, 253 p.) : ill. ; 24 cm ISBN:  0-387-25947-3 978-0-387-25947-5 0-387-30784-2 , ebook 978-0-387-30784-8 , ebook Notes :  Références bibliogr. (p. [231]-246) et index. Sujet :  Constraints (Artificial intelligence) Digital electronics -- Testing Electronic systems -- Testing Electronic systems -- Design and construction Électronique -- Conception Contraintes (intelligence artificielle) Systèmes électroniques -- Inspection Systèmes électroniques -- Conception et construction   Exemplaires Site Emplacement Cote Type de prêt Statut   Ensea Archives ARCH-2958 Empruntable Disponible

Pour toute question, contactez la bibliothèque

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