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
Free delivery for purchases over 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 136 b
19 829 Ft
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 6 134 Ft
Einfluss von Vorgesetzten und Kollegen auf das Fehlzeitenverhalten Alexander Fitz / Book Paperback
common.buy 13 129 Ft
Il Foro di Traiano nell'Antichit? Roberto Meneghini / Book Paperback
common.buy 44 056 Ft
vita giocata Daniela Rossi / Book Paperback
common.buy 10 762 Ft
Contabilidad previsional. ADGN0108 - Financiación de empresas Mateo Pacheco / Book Paperback
common.buy 6 309 Ft
Le Registre des calenges du bailli d'Arras (26 janvier 1362 - 4 novembre 1376) telliez romain / Book Paperback
common.buy 8 515 Ft
Bracelet cuivre avec Aimants Jonc plat strié Choque / Book binding.
common.buy 5 038 Ft
Tal Irminsul Martin Welsch / Book Paperback
common.buy 5 241 Ft
Men'a bukole (poésie d'éloge) des bakwa beeya. Etudes Descriptive Ruth Mukuna / Book Paperback
common.buy 13 783 Ft
metaphysische Sprache der agyptischen Hieroglyphen Moustafa Gadalla / Book Paperback
common.buy 3 357 Ft
Els meus amics del bosc DD.AA / Book Paperback
common.buy 4 628 Ft
Espacio y tiempo : la evolución del conocimiento del universo Teodoro Vives Soteras / Book Paperback
common.buy 8 763 Ft
Hiroshi Sugimoto PHILIP LARRATT-SMITH / Book Paperback
common.buy 17 085 Ft
Der kleine Elefant, der so gerne einschlafen möchte, 1 Audio-CD Carl-Johan Forssén Ehrlin / Audio Audio CD
common.buy 4 324 Ft
Tribus Emergentes Paola Andrea Serna Osorio / Book Paperback
common.buy 10 048 Ft

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 4 278 Ft
'Way Down East, Or, Portraitures of Yankee Life. Seba Smith / Book Paperback
common.buy 10 062 Ft
Coming soon
Paradise Lost at Sea Ross A. Klein / Book Paperback
common.buy 7 184 Ft
Seeds of Fire, Roots of Hope: Seven Principles of Inspiration for the Courageous Leader Jeffrey W. Linkenbach / Book Paperback
common.buy 6 309 Ft
Going Places in Northern Europe: Armchair Adventures and Activities Gloria Hoffner / Book Paperback
common.buy 7 285 Ft
JAMES POLK LATTA LATE A RESPRENTATIVE F UNITED STATES. CONGR / Book Hardback
common.buy 11 333 Ft
Staff to the Pilgrim Gabriel Cooper Rochelle / Book Paperback
common.buy 4 688 Ft
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 10 251 Ft
Life on the Wrong Planet H G Nowak / Book Paperback
common.buy 4 204 Ft
I-Spy: 4: Activity Book C. Lawday / Book Paperback
common.buy 11 158 Ft
Criminology and Criminal Justice in Russia Anna Gurinskaya / Book Hardback
common.buy 80 168 Ft
Art of Servant Leadership II Art Barter / Book Paperback
common.buy 5 913 Ft
Horae Apocalypticae Vol. 1 Edward Bishop 1793-1875 Elliott / Book Hardback
common.buy 15 671 Ft
Teacher Education for the Changing Demographics of Schooling Lani Florian / Book Paperback
common.buy 35 601 Ft
Clinical Cases in Critical Care / Book Hardback
common.buy 51 608 Ft
Coming soon
CAL 26 YOGA IS MY HAPPY PLACE WALL / Calendar/Diary Calendar
common.buy 5 521 Ft
Messages 3 Teacher's Resource Pack Sarah Ackroyd / Book Paperback
common.buy 12 765 Ft
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 6 295 Ft
Dolls' Houses Halina Pasierbska / Book Paperback
common.buy 3 256 Ft
Gods of the Runes Frank Joseph / Book Paperback
common.buy 7 156 Ft
Rivers of Texas Verne Huser / Book Paperback
common.buy 6 323 Ft
Devil's Handmaid Kirk F Panneton / Book Paperback
common.buy 7 331 Ft
Voices in the Garden Lucia Chiappara-Bennett / Book Paperback
common.buy 3 564 Ft
Don't Flinch Cornelia C Britton / Book Hardback
common.buy 10 412 Ft

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?