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.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Hardware and Software: Verification and Testing

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

Up to 30 days for returns

Customers also purchased

Machinisme et bricolages Anne-Marie Guenin / E-book Adobe ePub DRM
common.buy 24.54 €
Trame d'argento Patricia Logan / Book Paperback
common.buy 17.47 €
The Charm Offensive - Sármháború Alison Cochrun / Book Hardback
common.buy 10.80 €
Ptáčci - karetní hra David Spada / Printed items Cards
common.buy 19.39 €
Règles officielles du poker de tournoi Montmirel / Book Paperback
common.buy 20.60 €
KBGG | Kinderbetreuungsgeldgesetz und Familienzeitbonusgesetz Martin Sonntag / Book Paperback
common.buy 59.19 €
Hunter X Hunter 18 Yoshihiro Togashi / Book Paperback
common.buy 7.47 €
Circunferencia y círculo Padilla Díaz / Book Paperback
common.buy 32.22 €
Neue Medien im Marketing von professionellen Fußball Vereinen Torben Keuler / Book Paperback
common.buy 49.90 €
Wohnungsbindungsgesetz - WoBindG G Recht / Book Paperback
common.buy 7.97 €
Teología pública: Una voz para la Iglesia en sociedades plurales Villagrán Medina / Book Paperback
common.buy 21.21 €
Palabras en mis manos María Porras Sánchez / Book Paperback
common.buy 26.86 €
de la Salubrite Dans Limoges Et Dans Les Environs de Cette Ville LARUE-DUBARRY-J / Book Paperback
common.buy 15.55 €
Schwert Der Skythen Und Sarmaten in Sudrussland Waldemar Ginters / Book Hardback
common.buy 119.01 €
Affordable
Psicología del amor : el crecimiento personal en la relación de pareja Jürg Willi / Book Paperback
common.buy 16.96 €
Leyendas celtas en la literatura irlandesa Ramón Sainero Sánchez / Book Paperback
common.buy 15.75 €

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017. The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, 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 Ofer Strichman, Rachel Tzoref-Brill
Language English
Binding Book - Paperback
Date of issue 2017
Number of pages 253
EAN 9783319703886
ISBN 3319703889
Libristo code 18257956
Publishers Springer International Publishing AG
Weight 4219
Dimensions 155 x 235 x 17

Categories

Computing & Information Technology > Computer hardware > Network hardware
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 > 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

Privacy, Security and Trust within the Context of Pervasive Computing Philip Robinson / Book Hardback
common.buy 114.36 €
Street Food & Love H a Enri / Book Paperback
common.buy 16.56 €
Quit Smoking Naturally Brad Turner / Book Paperback
common.buy 7.16 €
View of Lambert's Notes on Ingersoll Helen M Lucas / Book Hardback
common.buy 32.52 €
As a Man Thinketh James Allen / Book Paperback
common.buy 8.07 €
Indy 500 Recaps-The Short Chute Edition PAT KENNEDY / Book Hardback
common.buy 28.18 €
The Law of Rentcharges (Commonly Called Chief Rents), Mainly from a Conveyancing Standpoint. J M Easton / Book Paperback
common.buy 21.00 €
Long Story Short... Ian a Wright / Book Paperback
common.buy 8.48 €
Hands to Spell-Read-Write: 3 Letter Words Spelling Workbook Vol. 3 of 5 Angela M Foster / Book Paperback
common.buy 14.44 €
On Shadow Lake Brian L Blank / Book Paperback
common.buy 10.30 €
Achieving Development Success Augustin K Fosu / Book Hardback
common.buy 201.85 €
Angels Speak: The Art and Work of Crafting Consciousness Anthony B James / Book Paperback
common.buy 19.29 €
Woman and labour (1911). By: Olive Schreiner: Genre: Sociology Olive Schreiner / Book Paperback
common.buy 9.29 €
National 5 Physics with Answers, Second Edition Arthur Baillie / Book Paperback
common.buy 30.00 €
RECLAIMING CATHOLIC SOCIAL TEACHING ANTHONY ESOLEN / Book Paperback
common.buy 24.84 €
More Grammar to Get Things Done Darren Crovitz / Book Hardback
common.buy 208.82 €
From Presumption to Prudence in Just-War Rationality Kevin Carnahan / Book Paperback
common.buy 64.35 €
I Hope This Email Finds You Never Ken Kupchik / E-book Adobe ePub DRM
common.buy 9.89 €
Top
Between Two Fires Christopher Buehlman / Book Paperback
common.buy 18.28 €
New
Gut-Brain Axis: Revolutionizing the Microbiome for Mental Clarity Amanda Clarke Jr. / Book Paperback
common.buy 14.03 €
Description of the West-Indies. a Poem, in Four Books. by Mr. Singleton. During His Excursions Among Those Islands. John Singleton / Book Paperback
common.buy 18.18 €
I Do Again Cheryl Scruggs / Book Paperback
common.buy 14.44 €
Haskins Society Journal William North / Book Hardback
common.buy 131.43 €
2 Piece Patchwork Sandy Petsche / Book Paperback
common.buy 19.79 €

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?