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 9.99 €
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.38 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Bleach Data book - Masked Tite Kubo / Book Paperback
common.buy 10.55 €
Ciencias sociales, geografía e historia en Secundaria Carmen Llopis / Book Paperback
common.buy 23.83 €
Top
One Piece - Law (Nippon Novel) Eiichiro Oda / Book Paperback
common.buy 9.04 €
Millennial. La generazione dimenticata Giorgia Pacione Di Bello / Book Paperback
common.buy 16.89 €
Top
Wykrojnik Roztańczona żabka Kozłowska Urszula / Book Hardback
common.buy 3.21 €
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.85 €
Top
NUEVO ESPAÑOL POR SUPUESTO 4 B1 SOUSA FERNANDEZ / Book Book
common.buy 16.89 €
Vokabelrätsel Ukrainisch-Deutsch Igor Jourist / Book Paperback
common.buy 6.63 €
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.38 €
INVISIBLE EDICION ILUSTRADA ELOY MORENO / Book Book
common.buy 27.55 €
100 samolepek Tlapková patrola / Book Paperback
common.buy 3.81 €
Chants du chamanisme boréal Orlandini Carcreff / Book Paperback
common.buy 21.61 €
Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper / Book Paperback
common.buy 14.38 €
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Book Paperback
common.buy 42.53 €
Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Book Paperback
common.buy 48.87 €
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Book Paperback
common.buy 16.08 €
Kerbschnitzen Christian Zeppetzauer / Book Hardback
common.buy 19.00 €
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Book Paperback
common.buy 8.64 €
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel / Printed items Map
common.buy 6.63 €
Droit constitutionnel de la Ve République Chabrier Book Paperback
common.buy 28.55 €
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / Book Paperback
common.buy 54.90 €
Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg / Book Paperback
common.buy 9.04 €
Ženich new / Game/Toy Toy
common.buy 11.25 €
La Barcelona rebelde : guía de una ciudad silenciada Anónimo / Book Paperback
common.buy 27.65 €

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 306.64 €
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Book Paperback
common.buy 153.47 €
The Problems of Philosophy Bertrand Russell / Book Paperback
common.buy 11.66 €
Computational Neuroscience Winston Ordazzo / Book Paperback
common.buy 50.60 €
Becoming a (Better) Language Teacher Nora Benitt / Book Paperback
common.buy 51.41 €
Forensics Anita Yasuda / Book Paperback
common.buy 10.95 €
Call on Me Jenifer C. Gamber / Book Paperback
common.buy 19.80 €
Caesars' Wives Annelise Freisenbruch / Book Paperback
common.buy 20.21 €
Scholastic Learning Express L2 Mathematics Scholastic Inc. / Book Paperback
common.buy 8.84 €
Experiencing Choral Music, Treble: Proficient Grades 9-12 Hal Leonard Publishing Corporation / Book Paperback
common.buy 76.73 €
The New Jersey Turnpike Michael Lapolla / Book Paperback
common.buy 21.21 €
Nuclear Energy: Power from the Atom Troon Harrison Adams / Book Hardback
common.buy 27.36 €
Shakespeare's 'Whores' K. Stanton / Book Paperback
common.buy 84.37 €
That Last Love Letter: Poetry, Photography & Art Doris Jones / Book Paperback
common.buy 12.96 €
Our Good Father: Seeing God Through the Eyes of Jesus Pierre Eade / Book Paperback
common.buy 15.69 €
365 Worksheets - Adding Place Value Commas to 4 Digit Numbers: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 14.78 €
Lighthouses William John Hardy / Book Paperback
common.buy 19.20 €
Re-figuring the Ramayana as Theology Rao / Book Paperback
common.buy 71.00 €
Testimony Scott Turow / Book Paperback
common.buy 10.15 €
Kevin Sorbo presents Hercules' Bible Adventures: Episode I: Hercules Meets Apostle Paul Cory Parella / Book Paperback
common.buy 10.25 €
The Art of War & On War: " A Comparison of Sun Tzu & Clausewitz " Dr Michael I Handel / Book Paperback
common.buy 10.25 €
Body in the Casket Katherine Hallpage / Book Paperback
common.buy 8.84 €
Trans Exploits Jian Neo Chen / Book Paperback
common.buy 33.48 €
Sloth Bear Luxshmanan Nadaraja / Book Hardback
common.buy 39.72 €

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?