Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Correct Hardware Design and Verification Methods

IFIP WG 10.5 Advanced Research Working Conference, CHARME '95, Frankfurt, Germany, October 1995. Proceedings

Lingua IngleseInglese
Libro In brossura
Libro Correct Hardware Design and Verification Methods Paolo Enrico Camurati
Codice Libristo: 05274512
Casa editrice Springer, Berlin, novembre 1994
This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conferen... Descrizione completa
? points 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Die behördliche Genehmigung im strafrechtlichen Deliktsaufbau. Steffen Fortun / Libro In brossura
common.buy 49.19 €
ME ENAMORE DE LA VILLANA 3 INORI / Libro Libro
common.buy 9.99 €
Wild Day at the Zoo / Egun Zoroa Zooan - Basque Edition Victor Dias de Oliveira Santos / Libro Rigido
common.buy 19.69 €
Neuartige 4-Heteroaryl-Antipyrine als DPP-IV-Inhibitoren Mohamed Abdalla / Libro In brossura
common.buy 33.59 €
MORIARTY EL PATRIOTA 3 TAKEUCHI / Libro Libro
common.buy 9.09 €
La prometida JHANSIR JACKSON PAEZ BLOOM / Libro Libro
common.buy 15.49 €
Boxer and Brandon KIDKIDDOS BOOKS / Libro Rigido
common.buy 26.99 €
La cocina andaluza Guadalquivir arriba Francisco Casas Delgado / Libro In brossura
common.buy 18.09 €
Souvenirs de Voyages Aux Pyrenees, En Italie Et En Espagne Vervel-M / Libro In brossura
common.buy 20.99 €
'Nur für Anfänger' - Klassische Gitarre (inkl. CD) Gerald Goodwin / Libro In brossura
common.buy 16.69 €
Einsterns Schwester - Sprache und Lesen - Zu allen Ausgaben - 3./4. Schuljahr Roland Bauer / Gioco/giocattolo Giocattolo
common.buy 10.39 €
Die drei ??? und die Poker-Hölle, 1 Audio-CD Oliver Rohrbeck / Audio CD audio
common.buy 12.49 €
Anfangsgründe der theoretischen und angewandten Naturgeschichte der Tiere. Tl.4/2 Georg A. Suckow / Libro In brossura
common.buy 46.59 €
Verbesserung der Diagnosefahigkeit bei Rechenschwache durch Erprobung des informellen Diagnoseverfahrens DUEMA am Beispiel einer Foerdergruppe Stefanie Hiller / Libro In brossura
common.buy 26.19 €

This book constitutes the refereed proceedings of the IFIP WG10.5 Advanced Research Working Conference on Correct Hardware Design Methodologies, CHARME '95, held in Frankfurt, Germany, in October 1995.The 20 revised full papers presented were carefullyselected by the program committee and address all current aspects of research and advanced applications in the field of formal verification of hardware. Among the topics covered are model checking, theorem proving, formally verified synthesis, process algebras, finite state systems, verification environments, language containment, and VHDL.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Correct Hardware Design and Verification Methods
Autore Paolo Enrico Camurati, Hans Eveking
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 1995
Numero di pagine 346
EAN 9783540603856
ISBN 3540603859
Codice Libristo 05274512
Casa editrice Springer, Berlin
Peso 478
Dimensioni 155 x 233 x 18

Categorie

Tecnologia, Ingegneria, Agricoltura, processi industriali > Ingegneria elettronica e delle comunicazioni > Ingegneria elettronica
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software
Informatica e Tecnologia dell’Informazione > Database > Database distribuiti
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Progettazione e analisi di sistemi
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Informatica e Tecnologia dell’Informazione > Comunicazione tra computer e reti
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

Numicon: Investigations with Numicon Teaching Book Matthew Mills / Libro Ad anelli
common.buy 66.29 €
Puppy Birthday to You! (Paw Patrol) Golden Books / Libro Rigido
common.buy 4.99 €
Tranquility, Solitude, and Other Poems Karen Lee Oliver / Libro Rigido
common.buy 31.19 €
Life Under The Jolly Roger Gabriel Kuhn / Libro In brossura
common.buy 16.59 €
What Could Possibly Go Wrong?: The Chronicles of St. Mary's Book Six Jodi Taylor / Libro In brossura
common.buy 14.29 €
Political Theory and South Asian Counter-Narratives Maidul Islam / Libro Rigido
common.buy 215.89 €
George Sand Donna Dickenson / Libro Rigido
common.buy 187.89 €
Communication Gregory Bateson / Libro In brossura
common.buy 72.29 €
Art in Belfast 1760-1880 Eileen Black / Libro In brossura
common.buy 72.09 €
Migration and the Slums Growth Sangay Tamang / Libro In brossura
common.buy 37.29 €
Delphinus Anita Marasco Maier / Libro In brossura
common.buy 10.39 €
Impact of War on Federal Personnel Administration Gladys M Kammerer / Libro In brossura
common.buy 35.19 €
Feminist Inquiry M.E. Hawkesworth / Libro In brossura
common.buy 40.29 €
Exam Prep for The Economic Way of Thinking by Heyne, Boettke, Prychitko, 11th Ed. Boettke Prychitko Heyne / Libro In brossura
common.buy 39.99 €
Foundations of C++/CLI Gordon Hogenson / Libro In brossura
common.buy 68.39 €
Advanced Computing and Systems for Security Rituparna Chaki / Libro In brossura
common.buy 53.79 €
What Is Symmetry in Nature? Bobbie Kalman / Libro Rigido
common.buy 24.29 €
I migliori
Crazy Quilting for Beginners Handy Pocket Guide Boggon / Libro In brossura
common.buy 8.09 €
The Valley's Legends & Legacies IV Catherine Morison Rehart / Libro In brossura
common.buy 20.89 €
Oil Palm Jonathan E. Robins / Libro In brossura
common.buy 39.09 €
Crooked House Agatha Christie / Libro Rigido
common.buy 26.29 €
One Immigrant in a World of Many ANDREA BERM DEZ / Libro In brossura
common.buy 18.99 €
English Verse Edward Leeson / Audio CD audio
common.buy 14.39 €
Three Wise Men from the East PATRICK WHITWORTH / Libro Rigido
common.buy 32.39 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?