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

Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Hardware and Software, Verification and Testing Eyal Bin
Libristo code: 01568150
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2007
This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Ver... Full description
? points 125 b
51.73 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Top
Al Día Siguiente de la Conquista: Una Historia de Lo Que España Hizo En América / The Day After the Conquest: A History of What Spain Did in the Ameri Zunzunegui / Book Paperback
common.buy 15.79 €
Einfluss von Vorgesetzten und Kollegen auf das Fehlzeitenverhalten Alexander Fitz / Book Paperback
common.buy 34.01 €
Il Foro di Traiano nell'Antichit? Roberto Meneghini / Book Paperback
common.buy 124.85 €
vita giocata Daniela Rossi / Book Paperback
common.buy 28.04 €
Contabilidad previsional. ADGN0108 - Financiación de empresas Mateo Pacheco / Book Paperback
common.buy 17.91 €
Le Registre des calenges du bailli d'Arras (26 janvier 1362 - 4 novembre 1376) telliez romain / Book Paperback
common.buy 24.09 €
Bracelet cuivre avec Aimants Jonc plat strié Choque / Book binding.
common.buy 14.27 €
Tal Irminsul Martin Welsch / Book Paperback
common.buy 13.56 €
Men'a bukole (poésie d'éloge) des bakwa beeya. Etudes Descriptive Ruth Mukuna / Book Paperback
common.buy 35.74 €
metaphysische Sprache der agyptischen Hieroglyphen Moustafa Gadalla / Book Paperback
common.buy 8.80 €
Els meus amics del bosc DD.AA / Book Paperback
common.buy 13.15 €
Espacio y tiempo : la evolución del conocimiento del universo Teodoro Vives Soteras / Book Paperback
common.buy 24.80 €
Hiroshi Sugimoto PHILIP LARRATT-SMITH / Book Paperback
common.buy 48.39 €
Der kleine Elefant, der so gerne einschlafen möchte, 1 Audio-CD Carl-Johan Forssén Ehrlin / Audio Audio CD
common.buy 11.13 €
Tribus Emergentes Paola Andrea Serna Osorio / Book Paperback
common.buy 26.01 €

This book constitutes the thoroughly refereed post-proceedings of the Second International Haifa Verification Conference, HVC 2006, held in Haifa, Israel, in October 2006.§The 15 revised full papers presented together with 2 invited lectures were carefully reviewed and selected from 33 submissions. The papers are organized in three topical tracks on hardware verification technologies and methodologies, software testing, and tools for hardware verification and software testing.

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 Eyal Bin, Avi Ziv, Shmuel Ur
Language English
Binding Book - Paperback
Date of issue 2007
Number of pages 235
EAN 9783540708889
ISBN 354070888X
Libristo code 01568150
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 790
Dimensions 155 x 235 x 14

Categories

Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
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

Everything I Shoot Is Art Mathias Jansson / Book Paperback
common.buy 11.23 €
'Way Down East, Or, Portraitures of Yankee Life. Seba Smith / Book Paperback
common.buy 25.91 €
Coming soon
Paradise Lost at Sea Ross A. Klein / Book Paperback
common.buy 20.34 €
Seeds of Fire, Roots of Hope: Seven Principles of Inspiration for the Courageous Leader Jeffrey W. Linkenbach / Book Paperback
common.buy 16.60 €
Going Places in Northern Europe: Armchair Adventures and Activities Gloria Hoffner / Book Paperback
common.buy 18.72 €
JAMES POLK LATTA LATE A RESPRENTATIVE F UNITED STATES. CONGR / Book Hardback
common.buy 29.76 €
Staff to the Pilgrim Gabriel Cooper Rochelle / Book Paperback
common.buy 12.04 €
Memoir of the Life and Character of the Right Hon. Edmund Burke: With Specimens of His Poetry and Letters, and an Estimate of His Genius and Talents, James Sir Prior / Book Paperback
common.buy 26.93 €
Life on the Wrong Planet H G Nowak / Book Paperback
common.buy 11.03 €
I-Spy: 4: Activity Book C. Lawday / Book Paperback
common.buy 31.58 €
Criminology and Criminal Justice in Russia Anna Gurinskaya / Book Hardback
common.buy 216.29 €
Art of Servant Leadership II Art Barter / Book Paperback
common.buy 15.58 €
Horae Apocalypticae Vol. 1 Edward Bishop 1793-1875 Elliott / Book Hardback
common.buy 44.34 €
Teacher Education for the Changing Demographics of Schooling Lani Florian / Book Paperback
common.buy 92.85 €
Clinical Cases in Critical Care / Book Hardback
common.buy 134.67 €
Coming soon
CAL 26 YOGA IS MY HAPPY PLACE WALL / Calendar/Diary Calendar
common.buy 14.67 €
Messages 3 Teacher's Resource Pack Sarah Ackroyd / Book Paperback
common.buy 36.14 €
H.R. 2801, Izembek and Alaska Peninsula Refuge and Wilderness Enhancement and King Cove Safe Access ACT - Scholar's Choice Edition United States Congress House of Represen / Book Paperback
common.buy 16.50 €
Dolls' Houses Halina Pasierbska / Book Paperback
common.buy 8.70 €
Gods of the Runes Frank Joseph / Book Paperback
common.buy 18.62 €
Rivers of Texas Verne Huser / Book Paperback
common.buy 17.91 €
Devil's Handmaid Kirk F Panneton / Book Paperback
common.buy 19.33 €
Voices in the Garden Lucia Chiappara-Bennett / Book Paperback
common.buy 9.20 €
Don't Flinch Cornelia C Britton / Book Hardback
common.buy 27.53 €

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?