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 69.99 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Hardware and Software: Verification and Testing

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Language EnglishEnglish
Book Paperback
Book Hardware and Software: Verification and Testing Karen Yorav
Libristo code: 01569878
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2008
This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Full description
? points 141 b
58.40 €
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

La esforzada reelaboración del saber : repertorios médicos de interés lexicográfico anteriores a la imprenta Bertha M. Gutiérrez Rodilla / Book Paperback
common.buy 26.47 €
Espacio público y espacio privado / Book Paperback
common.buy 22.52 €
Trois Livres Des Offices de France. Livre 3 Girard-E / Book Paperback
common.buy 59.71 €
Ostwind 06 - Der große Orkan Lea Schmidbauer / Book Hardback
common.buy 13.13 €
amerikanische Kino in Zeiten politischer Verfolgung Viktor Gasic / Book Paperback
common.buy 25.05 €
Пятнадцатилетний капитан Жюль Верн / Book Paperback
common.buy 8.88 €
Žiješ jenom dvakrát Dominik Dán / Book Hardback
common.buy 12.42 €
Diktat-Stars - Allgemeine Ausgabe - 3. Schuljahr Maria Auer / Book Sheet
common.buy 8.88 €
Augenblicke des Daseins. Autobiographische Skizzen Virginia Woolf / Book Hardback
common.buy 22.52 €
Au nom de tous nos dieux Deloges / Book Paperback
common.buy 24.14 €

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007.§The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software 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 Karen Yorav
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 267
EAN 9783540779643
ISBN 3540779647
Libristo code 01569878
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 444
Dimensions 155 x 235 x 240

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

Coming soon
Film Genre Book John Sanders / Book Hardback
common.buy 119.74 €
Babylonian Expedition of the University of Pennsylvania The Babylonian Expedition / Book Hardback
common.buy 44.86 €
Functional Equations and Inequalities with Applications Pl Kannappan / Book Paperback
common.buy 308.10 €
GRAMMAR-SCHOOL ARITHMETIC INCLUDING EASY JOHN HENRY WALSH / Book Hardback
common.buy 38.19 €
Dungeons & Dragons: Honor Among Thieves: The Druid's Call E.K Johnston / Book Paperback
common.buy 9.69 €
Bruce Lee Enter the Dragon Scrapbook Sequences Vol 6 Rick Baker / Book Paperback
common.buy 25.05 €
Smell and the Past William Tullett / Book Hardback
common.buy 127.22 €
Bowling Narragansett Machine Company (Provide / Book Paperback
common.buy 14.54 €
Aimless Life Andrew Offenburger / Book Paperback
common.buy 15.75 €
Internet of Things Scott J. Shackelford / Book Paperback
common.buy 13.53 €
Northanger Abbey - Large Print Edition Jane Austen / Book Paperback
common.buy 16.56 €
Infonomics Douglas B Laney / Book Hardback
common.buy 36.17 €
Little Course in Sewing Various / Book Hardback
common.buy 13.94 €
Modern Romance Short Stories Sherrie Lynn / Book Paperback
common.buy 9.39 €
Genus Utricularia P. G. Taylor / Book Paperback
common.buy 71.13 €
Abdominoplasty, An Issue of Clinics in Plastic Surgery Al S Aly / Book Hardback
common.buy 91.44 €
Genetic Algorithms and Application in Examination Scheduling Dang Xuan Tho / Book Paperback
common.buy 38.29 €
Case Studies In Organizational Behavior And Theory For Health Care Borkowski / Book Paperback
common.buy 98.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