Popis: Correct hardware design and verification methods :

Uloženo v:

Podrobná bibliografie
Hlavní autor:	Geist, Daniel (Autor)
Korporativní autor:	CHARME 2003 :L'Aquila, Italy
Další autoři:	Tronci, Enrico, 1961- (Šéfredaktor, odpovědný redaktor), Geist, Daniel, 1961- (Šéfredaktor, odpovědný redaktor)
Médium:	Livre numérique
Jazyk:	Anglais
Vydáno:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Edice:	Lecture notes in computer science 2860
Témata:	Génie logiciel Conception assistée par ordinateur Informatique Circuits intégrés Circuits intégrés à très grande échelle Intelligence artificielle Logique symbolique et mathématique Essais Ordinateurs Ingénierie assistée par ordinateur Actes de congrès
On-line přístup:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Poznámka:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Correct hardware design and verification methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, proceedings, Daniel Geist, Enrico Tronci, (Eds.), Berlin, Springer, 2003, 1 vol. (XII-426 p.), Lecture notes in computer science, 3-540-20363-X • Correct Hardware Design and Verification Methods, Texte imprimé, 9783662163191

Popis
Popis jednotky:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
ISBN:	9783540397243 (PDF)
ISSN:	1611-3349
Přístup:	Accès en ligne pour les établissements français bénéficiaires des licences nationales Accès soumis à abonnement pour tout autre établissement Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017