Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

Hardware and Software: Verification and Testing

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

Language EnglishEnglish
Book Paperback
Book Hardware and Software: Verification and Testing Sharon Barner
Libristo code: 01657535
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H... Full description
? points 125 b
51.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Book Paperback
common.buy 49.52 €
Ženich new / Game/Toy Toy
common.buy 9.92 €
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Book Paperback
common.buy 43.03 €
100 samolepek Tlapková patrola / Book Paperback
common.buy 3.53 €
Vokabelrätsel Ukrainisch-Deutsch Igor Jourist / Book Paperback
common.buy 6.57 €
Mundus Symbolicus In Emblematum Universitate Formatus, Explicatus Et Tam Sacris, Quam Profanis Eruditionibus As Sententiis Illustratus ...... Filippo Picinelli ((C.R.L.)) / Book Paperback
common.buy 33.62 €
Esqueletos no Armário - Memórias do Filho de um Pastor.- 2?. Ediç?o. Domingo González Jr. Domingo Gonzalez / Book Paperback
common.buy 9.92 €
One Piece - Law (Nippon Novel) Eiichiro Oda / Book Paperback
common.buy 9.11 €
Droit constitutionnel de la Ve République Chabrier Book Paperback
common.buy 29.87 €
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Book Paperback
common.buy 16.20 €
Top
Kerbschnitzen Christian Zeppetzauer / Book Hardback
common.buy 19.13 €
Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini / Book Paperback
common.buy 33.01 €
Patte de Velours Osiris Brackhaus / Book Paperback
common.buy 15.79 €
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Book Paperback
common.buy 8.70 €
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel / Printed items Map
common.buy 6.67 €
Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper / Book Paperback
common.buy 14.47 €
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / Book Paperback
common.buy 55.19 €
Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García / Book Paperback
common.buy 21.46 €
La Barcelona rebelde : guía de una ciudad silenciada Anónimo / Book Paperback
common.buy 28.05 €
Ciencias sociales, geografía e historia en Secundaria Carmen Llopis / Book Paperback
common.buy 24.20 €
Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg / Book Paperback
common.buy 9.11 €

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Hardware and Software: Verification and Testing
Author Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 197
EAN 9783642195822
ISBN 3642195822
Libristo code 01657535
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 326
Dimensions 155 x 235 x 12

Categories

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Immobilized Catalysts Andreas Kirschning / Book Paperback
common.buy 308.80 €
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Book Paperback
common.buy 154.55 €
The Problems of Philosophy Bertrand Russell / Book Paperback
common.buy 11.74 €
Trans Exploits Jian Neo Chen / Book Paperback
common.buy 33.72 €
Call on Me Jenifer C. Gamber / Book Paperback
common.buy 19.44 €
Caesars' Wives Annelise Freisenbruch / Book Paperback
common.buy 20.35 €
Scholastic Learning Express L2 Mathematics Scholastic Inc. / Book Paperback
common.buy 8.90 €
The New Jersey Turnpike Michael Lapolla / Book Paperback
common.buy 20.85 €
Shakespeare's 'Whores' K. Stanton / Book Paperback
common.buy 86.89 €
Our Good Father: Seeing God Through the Eyes of Jesus Pierre Eade / Book Paperback
common.buy 15.79 €
365 Worksheets - Adding Place Value Commas to 4 Digit Numbers: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 14.88 €
Computational Neuroscience Winston Ordazzo / Book Paperback
common.buy 50.94 €
Re-figuring the Ramayana as Theology Rao / Book Paperback
common.buy 68.76 €
Body in the Casket Katherine Hallpage / Book Paperback
common.buy 8.90 €
Lighthouses William John Hardy / Book Paperback
common.buy 19.33 €
The Sand Castle of Dreams Tullip Studio / Book Paperback
common.buy 14.88 €
Notes On Military Surveying And Reconnaissance (1882) William Paterson / Book Paperback
common.buy 26.02 €
Dog Training Smackdown Micah Jack / Book Paperback
common.buy 15.69 €
Sloth Bear Luxshmanan Nadaraja / Book Hardback
common.buy 40.00 €
That Last Love Letter: Poetry, Photography & Art Doris Jones / Book Paperback
common.buy 13.06 €
Mask Making Techniques McClung / Book Paperback
common.buy 53.47 €
Data Analytics and Visualization in Quality Analysis using Tableau Hwang / Book Paperback
common.buy 72.20 €
Top
Unlock Level 4 Listening, Speaking and Critical Thinking Student's Book with Digital Pack Lewis Lansford / Book Paperback
common.buy 21.26 €
Rocky Harbors Jon B. Alterman / Book Paperback
common.buy 68.36 €

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?