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

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 136 b
19 902 Ft
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 6 549 Ft
Mauseschlau & Bärenstark, Bewegungs-Mau Mau / Game/Toy Game
common.buy 4 164 Ft
La historia de los árboles y decómo han cambiado nuestra forma de vida Kevin Hobbs / E-book Adobe ePub DRM
common.buy 4 677 Ft
QUIEN SOY, QUIEN SOY ORTIZ MOORE / Book Paperback
common.buy 4 294 Ft
Sherlock Magazine. Tutti i luoghi del mystery / Book Paperback
common.buy 2 916 Ft
Teoría del Cambio En Contextos Complejos: 40 lecciones para la gestión de proyectos ágiles Jose Antonio Monje / Book Paperback
common.buy 5 348 Ft
Gestión auxiliar de reproducción en soporte convencional o informático Encarnación Corral Pavanelo / Book Paperback
common.buy 10 214 Ft
Die Fixsterne im Horoskop Oskar Hofman / Book Hardback
common.buy 10 362 Ft
Drogenproblematik in Polen Dominik Szczupak / Book Paperback
common.buy 21 265 Ft

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 19 902 Ft
The Christian Science Journal, Volume 20... Mary Baker Eddy / Book Paperback
common.buy 14 628 Ft
Where Ideas Go to Die McDevitt / Book Hardback
common.buy 45 271 Ft
Dr. Chuck Tingle's Adult Coloring And Activity Book For True Buckaroos Chuck Tingle / Book Paperback
common.buy 6 036 Ft
Coming soon
GIVE ME LIB 5E BR V2 PA (TEXT) Eric Foner / Book Paperback
common.buy 27 875 Ft
A Textbook of Embryology for Students of Medicine John Clement Heisler / Book Paperback
common.buy 12 400 Ft
Abstracts of the Testamentary Proceedings of the Prerogative Court of Maryland. Volume XXXVI Jr. Vernon L. Skinner / Book Paperback
common.buy 15 183 Ft
HTML Programming Professional Made Easy Sam Key / Book Hardback
common.buy 12 340 Ft
Three Governors Controversy Ronald Keith Gaddie / Book Hardback
common.buy 11 023 Ft
Theatres of Immanence Laura Cull O Maoilearca / Book Paperback
common.buy 22 264 Ft
Coming soon
Tabata Workout Handbook Roger Hall / Book Paperback
common.buy 6 068 Ft
Reworking Postcolonialism P. Malreddy / Book Hardback
common.buy 21 311 Ft
Finding the Prosperity Within Brian Webster / Book Paperback
common.buy 7 386 Ft
Getting On; A Tale of Modern English Life. Anonymous / Book Paperback
common.buy 10 288 Ft
Truman and the Democratic Party Sean J. Savage / Book Paperback
common.buy 12 927 Ft
Dynamic Spectrum Access Models: Ömer Ileri / Book Paperback
common.buy 16 972 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?