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 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

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 148 b
60.99 €
119.28  лв
Low in stock at our supplier Shipping in 13-18 days

Up to 30 days for returns

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 27.65 € 54.08 лв
Trois Livres Des Offices de France. Livre 3 Girard-E / Book Paperback
common.buy 56.34 € 110.18 лв
Ostwind 06 - Der große Orkan Lea Schmidbauer / Book Hardback
common.buy 13.85 € 27.08 лв
Espacio público y espacio privado / Book Paperback
common.buy 23.62 € 46.19 лв
Пятнадцатилетний капитан Жюль Верн / Book Paperback
common.buy 9.35 € 18.29 лв
amerikanische Kino in Zeiten politischer Verfolgung Viktor Gasic / Book Paperback
common.buy 26.51 € 51.85 лв
Žiješ jenom dvakrát Dominik Dán / Book Hardback
common.buy 12.09 € 23.65 лв
Diktat-Stars - Allgemeine Ausgabe - 3. Schuljahr Maria Auer / Book Sheet
common.buy 9.35 € 18.29 лв
Augenblicke des Daseins. Autobiographische Skizzen Virginia Woolf / Book Hardback
common.buy 23.88 € 46.70 лв
Au nom de tous nos dieux Deloges / Book Paperback
common.buy 24.13 € 47.20 лв

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 125.08 € 244.64 лв
Babylonian Expedition of the University of Pennsylvania The Babylonian Expedition / Book Hardback
common.buy 44.91 € 87.84 лв
Functional Equations and Inequalities with Applications Pl Kannappan / Book Paperback
common.buy 324.91 € 635.48 лв
Infonomics Douglas B Laney / Book Hardback
common.buy 38.40 € 75.10 лв
Dungeons & Dragons: Honor Among Thieves: The Druid's Call E.K Johnston / Book Paperback
common.buy 10.38 € 20.31 лв
Bruce Lee Enter the Dragon Scrapbook Sequences Vol 6 Rick Baker / Book Paperback
common.buy 25.06 € 49.02 лв
Roadkill Dennis E. Taylor / Book Paperback
common.buy 15.24 € 29.81 лв
Smell and the Past William Tullett / Book Hardback
common.buy 127.31 € 248.99 лв
Bowling Narragansett Machine Company (Provide / Book Paperback
common.buy 14.57 € 28.50 лв
Why Don't We Just...? PATTY MAC SL HEWITT / Book Paperback
common.buy 20.26 € 39.62 лв
Aimless Life Andrew Offenburger / Book Paperback
common.buy 15.76 € 30.82 лв
Internet of Things Scott J. Shackelford / Book Paperback
common.buy 12.66 € 24.76 лв
The Blood Barn Carrie Lorig / Book Paperback
common.buy 14.26 € 27.89 лв
Northanger Abbey - Large Print Edition Jane Austen / Book Paperback
common.buy 16.59 € 32.44 лв
Little Course in Sewing Various / Book Hardback
common.buy 14.83 € 29.00 лв
Abdominoplasty, An Issue of Clinics in Plastic Surgery Al S Aly / Book Hardback
common.buy 95.62 € 187.02 лв
Case Studies In Organizational Behavior And Theory For Health Care Borkowski / Book Paperback
common.buy 98.77 € 193.18 лв
Genetic Algorithms and Application in Examination Scheduling Dang Xuan Tho / Book Paperback
common.buy 40.57 € 79.35 лв
Genus Utricularia P. G. Taylor / Book Paperback
common.buy 71.17 € 139.20 лв
Modern Romance Short Stories Sherrie Lynn / Book Paperback
common.buy 9.40 € 18.39 лв
GRAMMAR-SCHOOL ARITHMETIC INCLUDING EASY JOHN HENRY WALSH / Book Hardback
common.buy 38.24 € 74.80 лв

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?