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 €
Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 5.99 €
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 132 b
53.79 €
Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Libro In brossura
common.buy 51.29 €
Ženich new / Gioco/giocattolo Giocattolo
common.buy 10.39 €
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Libro In brossura
common.buy 44.59 €
100 samolepek Tlapková patrola / Libro In brossura
common.buy 3.69 €
Vokabelrätsel Ukrainisch-Deutsch Igor Jourist / Libro In brossura
common.buy 6.99 €
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 34.79 €
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 10.29 €
One Piece - Law (Nippon Novel) Eiichiro Oda / Libro In brossura
common.buy 9.59 €
Droit constitutionnel de la Ve République Chabrier Libro In brossura
common.buy 30.79 €
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Libro In brossura
common.buy 16.89 €
I migliori
Kerbschnitzen Christian Zeppetzauer / Libro Rigido
common.buy 19.99 €
Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini / Libro In brossura
common.buy 34.49 €
Patte de Velours Osiris Brackhaus / Libro In brossura
common.buy 16.39 €
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Libro In brossura
common.buy 9.09 €
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel / Pubblicazioni cartacee Mappa
common.buy 6.89 €
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 57.69 €
Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García / Libro In brossura
common.buy 22.49 €
La Barcelona rebelde : guía de una ciudad silenciada Anónimo / Libro In brossura
common.buy 27.69 €
Ciencias sociales, geografía e historia en Secundaria Carmen Llopis / Libro In brossura
common.buy 23.89 €
Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg / Libro In brossura
common.buy 9.59 €

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 321.39 €
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Libro In brossura
common.buy 160.89 €
The Problems of Philosophy Bertrand Russell / Libro In brossura
common.buy 12.19 €
Trans Exploits Jian Neo Chen / Libro In brossura
common.buy 34.79 €
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 20.59 €
Shakespeare's 'Whores' K. Stanton / Libro In brossura
common.buy 89.89 €
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 52.79 €
Re-figuring the Ramayana as Theology Rao / Libro In brossura
common.buy 71.29 €
Body in the Casket Katherine Hallpage / Libro In brossura
common.buy 9.19 €
Lighthouses William John Hardy / Libro In brossura
common.buy 19.99 €
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 16.49 €
Sloth Bear Luxshmanan Nadaraja / Libro Rigido
common.buy 41.49 €
That Last Love Letter: Poetry, Photography & Art Doris Jones / Libro In brossura
common.buy 13.59 €
Mask Making Techniques McClung / Libro In brossura
common.buy 55.29 €
Data Analytics and Visualization in Quality Analysis using Tableau Hwang / Libro In brossura
common.buy 74.39 €
I migliori
Unlock Level 4 Listening, Speaking and Critical Thinking Student's Book with Digital Pack Lewis Lansford / Libro In brossura
common.buy 22.19 €
Rocky Harbors Jon B. Alterman / Libro In brossura
common.buy 70.19 €

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?