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

10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Language EnglishEnglish
Book Paperback
Book Hardware and Software: Verification and Testing Eran Yahav
Libristo code: 09034266
Publishers Springer International Publishing AG, November 2014
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conferen... Full description
? points 125 b
51.63 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Cuentos roídos JOSE CARLOS ANDRES / Book Paperback
common.buy 18.48 €
Mauseschlau & Bärenstark, Bewegungs-Mau Mau / Game/Toy Game
common.buy 11.71 €
La historia de los árboles y decómo han cambiado nuestra forma de vida Kevin Hobbs / E-book Adobe ePub DRM
common.buy 13.23 €
QUIEN SOY, QUIEN SOY ORTIZ MOORE / Book Paperback
common.buy 12.12 €
Sherlock Magazine. Tutti i luoghi del mystery / Book Paperback
common.buy 8.18 €
Teoría del Cambio En Contextos Complejos: 40 lecciones para la gestión de proyectos ágiles Jose Antonio Monje / Book Paperback
common.buy 13.94 €
Gestión auxiliar de reproducción en soporte convencional o informático Encarnación Corral Pavanelo / Book Paperback
common.buy 28.79 €
Die Fixsterne im Horoskop Oskar Hofman / Book Hardback
common.buy 26.67 €
Drogenproblematik in Polen Dominik Szczupak / Book Paperback
common.buy 59.91 €

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014.§The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

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 Eran Yahav
Language English
Binding Book - Paperback
Date of issue 2014
Number of pages 302
EAN 9783319133379
ISBN 3319133373
Libristo code 09034266
Publishers Springer International Publishing AG
Weight 4861
Dimensions 155 x 235 x 14

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
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 > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Deductive and Object-Oriented Databases Tok W. Ling / Book Paperback
common.buy 51.63 €
The Christian Science Journal, Volume 20... Mary Baker Eddy / Book Paperback
common.buy 38.19 €
Where Ideas Go to Die McDevitt / Book Hardback
common.buy 127.52 €
Dr. Chuck Tingle's Adult Coloring And Activity Book For True Buckaroos Chuck Tingle / Book Paperback
common.buy 15.75 €
Coming soon
GIVE ME LIB 5E BR V2 PA (TEXT) Eric Foner / Book Paperback
common.buy 74.97 €
A Textbook of Embryology for Students of Medicine John Clement Heisler / Book Paperback
common.buy 32.53 €
Abstracts of the Testamentary Proceedings of the Prerogative Court of Maryland. Volume XXXVI Jr. Vernon L. Skinner / Book Paperback
common.buy 39.70 €
HTML Programming Professional Made Easy Sam Key / Book Hardback
common.buy 32.33 €
Three Governors Controversy Ronald Keith Gaddie / Book Hardback
common.buy 28.18 €
Theatres of Immanence Laura Cull O Maoilearca / Book Paperback
common.buy 58.40 €
Coming soon
Tabata Workout Handbook Roger Hall / Book Paperback
common.buy 16.06 €
Reworking Postcolonialism P. Malreddy / Book Hardback
common.buy 58.40 €
Finding the Prosperity Within Brian Webster / Book Paperback
common.buy 19.29 €
Getting On; A Tale of Modern English Life. Anonymous / Book Paperback
common.buy 26.87 €
Truman and the Democratic Party Sean J. Savage / Book Paperback
common.buy 34.04 €
Dynamic Spectrum Access Models: Ömer Ileri / Book Paperback
common.buy 43.75 €

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