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
Punto Poste 5.49 € Punto Poste 5.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 € Corriere Bartolini 4.49 € Punto Bartolini 3.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Hardware and Software: Verification and Testing

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Lingua IngleseInglese
Libro In brossura
Libro Hardware and Software: Verification and Testing Sharon Barner
Codice Libristo: 01657535
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzo 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H... Descrizione completa
? points 125 b
51.09 €
Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

One Piece - Law (Nippon Novel) Eiichiro Oda / Libro In brossura
common.buy 8.99 €
Esqueletos no Armário - Memórias do Filho de um Pastor.- 2?. Ediç?o. Domingo González Jr. Domingo Gonzalez / Libro In brossura
common.buy 8.39 €
Mundus Symbolicus In Emblematum Universitate Formatus, Explicatus Et Tam Sacris, Quam Profanis Eruditionibus As Sententiis Illustratus ...... Filippo Picinelli ((C.R.L.)) / Libro In brossura
common.buy 28.29 €
INVISIBLE EDICION ILUSTRADA ELOY MORENO / Libro Libro
common.buy 21.69 €
Vokabelrätsel Ukrainisch-Deutsch Igor Jourist / Libro In brossura
common.buy 6.59 €
100 samolepek Tlapková patrola / Libro In brossura
common.buy 2.69 €
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Libro In brossura
common.buy 36.19 €
Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Libro In brossura
common.buy 41.59 €
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Libro In brossura
common.buy 16.89 €
Droit constitutionnel de la Ve République Chabrier Libro In brossura
common.buy 24.19 €
Kerbschnitzen Christian Zeppetzauer / Libro Rigido
common.buy 18.19 €
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Libro In brossura
common.buy 9.09 €
Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini / Libro In brossura
common.buy 32.59 €
Patte de Velours Osiris Brackhaus / Libro In brossura
common.buy 16.39 €
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel / Pubblicazioni cartacee Mappa
common.buy 6.59 €
Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper / Libro In brossura
common.buy 15.09 €
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / Libro In brossura
common.buy 54.49 €
Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García / Libro In brossura
common.buy 21.19 €
La Barcelona rebelde : guía de una ciudad silenciada Anónimo / Libro In brossura
common.buy 25.39 €
Ciencias sociales, geografía e historia en Secundaria Carmen Llopis / Libro In brossura
common.buy 21.59 €
Ženich new / Gioco/giocattolo Giocattolo
common.buy 7.99 €
Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg / Libro In brossura
common.buy 8.99 €

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.§The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.

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 Hardware and Software: Verification and Testing
Autore Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2011
Numero di pagine 197
EAN 9783642195822
ISBN 3642195822
Codice Libristo 01657535
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 326
Dimensioni 155 x 235 x 12

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software > Test e verifica del software
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
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

Immobilized Catalysts Andreas Kirschning / Libro In brossura
common.buy 304.89 €
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Libro In brossura
common.buy 152.59 €
The Problems of Philosophy Bertrand Russell / Libro In brossura
common.buy 9.99 €
Trans Exploits Jian Neo Chen / Libro In brossura
common.buy 28.89 €
Call on Me Jenifer C. Gamber / Libro In brossura
common.buy 20.39 €
Caesars' Wives Annelise Freisenbruch / Libro In brossura
common.buy 21.29 €
Scholastic Learning Express L2 Mathematics Scholastic Inc. / Libro In brossura
common.buy 9.19 €
The New Jersey Turnpike Michael Lapolla / Libro In brossura
common.buy 16.89 €
Nuclear Energy: Power from the Atom Troon Harrison Adams / Libro Rigido
common.buy 24.79 €
Our Good Father: Seeing God Through the Eyes of Jesus Pierre Eade / Libro In brossura
common.buy 16.49 €
365 Worksheets - Adding Place Value Commas to 4 Digit Numbers: Math Practice Workbook Kapoo Stem / Libro In brossura
common.buy 15.39 €
Computational Neuroscience Winston Ordazzo / Libro In brossura
common.buy 42.59 €
Re-figuring the Ramayana as Theology Rao / Libro In brossura
common.buy 63.49 €
Body in the Casket Katherine Hallpage / Libro In brossura
common.buy 9.19 €
Shakespeare's 'Whores' K. Stanton / Libro In brossura
common.buy 73.59 €
The Sand Castle of Dreams Tullip Studio / Libro In brossura
common.buy 15.39 €
Notes On Military Surveying And Reconnaissance (1882) William Paterson / Libro In brossura
common.buy 26.89 €
Dog Training Smackdown Micah Jack / Libro In brossura
common.buy 12.59 €
Sloth Bear Luxshmanan Nadaraja / Libro Rigido
common.buy 41.49 €
That Last Love Letter: Poetry, Photography & Art Doris Jones / Libro In brossura
common.buy 10.89 €
Mask Making Techniques McClung / Libro In brossura
common.buy 51.19 €
Data Analytics and Visualization in Quality Analysis using Tableau Hwang / Libro In brossura
common.buy 61.79 €
I migliori
Unlock Level 4 Listening, Speaking and Critical Thinking Student's Book with Digital Pack Lewis Lansford / Libro In brossura
common.buy 19.89 €
Lighthouses William John Hardy / Libro In brossura
common.buy 16.29 €

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?