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
DPD courier 4.99 € GLS courier 11.49 €
phone Contact phoneHow to shop

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.75 €
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Ptáčci - karetní hra David Spada / Printed items Cards
common.buy 19.44 €
KBGG | Kinderbetreuungsgeldgesetz und Familienzeitbonusgesetz Martin Sonntag / Book Paperback
common.buy 59.34 €
Hunter X Hunter 18 Yoshihiro Togashi / Book Paperback
common.buy 7.48 €
Règles officielles du poker de tournoi Montmirel / Book Paperback
common.buy 20.65 €
Machinisme et bricolages Anne-Marie Guenin / E-book Adobe ePub DRM
common.buy 24.60 €
The Charm Offensive - Sármháború Alison Cochrun / Book Hardback
common.buy 10.83 €
Trame d'argento Patricia Logan / Book Paperback
common.buy 17.51 €
Wohnungsbindungsgesetz - WoBindG G Recht / Book Paperback
common.buy 7.99 €
Teología pública: Una voz para la Iglesia en sociedades plurales Villagrán Medina / Book Paperback
common.buy 21.16 €
Palabras en mis manos María Porras Sánchez / Book Paperback
common.buy 26.93 €
de la Salubrite Dans Limoges Et Dans Les Environs de Cette Ville LARUE-DUBARRY-J / Book Paperback
common.buy 15.59 €
Schwert Der Skythen Und Sarmaten in Sudrussland Waldemar Ginters / Book Hardback
common.buy 119.30 €
Neue Medien im Marketing von professionellen Fußball Vereinen Torben Keuler / Book Paperback
common.buy 50.02 €

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

Quit Smoking Naturally Brad Turner / Book Paperback
common.buy 7.18 €
Woman and labour (1911). By: Olive Schreiner: Genre: Sociology Olive Schreiner / Book Paperback
common.buy 9.31 €
RECLAIMING CATHOLIC SOCIAL TEACHING ANTHONY ESOLEN / Book Paperback
common.buy 24.91 €
Angels Speak: The Art and Work of Crafting Consciousness Anthony B James / Book Paperback
common.buy 19.33 €
Street Food & Love H a Enri / Book Paperback
common.buy 16.60 €
On Shadow Lake Brian L Blank / Book Paperback
common.buy 10.32 €
Hands to Spell-Read-Write: 3 Letter Words Spelling Workbook Vol. 3 of 5 Angela M Foster / Book Paperback
common.buy 14.47 €
More Grammar to Get Things Done Darren Crovitz / Book Hardback
common.buy 209.34 €
Long Story Short... Ian a Wright / Book Paperback
common.buy 8.50 €
Indy 500 Recaps-The Short Chute Edition PAT KENNEDY / Book Hardback
common.buy 28.25 €
From Presumption to Prudence in Just-War Rationality Kevin Carnahan / Book Paperback
common.buy 64.51 €
As a Man Thinketh James Allen / Book Paperback
common.buy 8.09 €
View of Lambert's Notes on Ingersoll Helen M Lucas / Book Hardback
common.buy 32.60 €
Achieving Development Success Augustin K Fosu / Book Hardback
common.buy 191.52 €
Super-Recursive Algorithms Mark Burgin / Book Hardback
common.buy 103.10 €
The Mother-daughter Book Club Heather Vogel Frederick / Book Paperback
common.buy 8.70 €
Beautiful Life In Berlin, New Hampshire Henry R Lambert / Book Paperback
common.buy 14.37 €
Italian Pocket Dictionary Collins Dictionaries / Book Paperback
common.buy 10.83 €
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.22 €
Women in Families Etc / Book Paperback
common.buy 26.73 €
Liberalizing Financial Services and Foreign Direct Investment Laura Paez / Book Paperback
common.buy 53.37 €
Women and the Victorian Occult Tatiana Kontou / Book Hardback
common.buy 209.34 €
Haskins Society Journal William North / Book Hardback
common.buy 131.76 €
I Do Again Cheryl Scruggs / Book Paperback
common.buy 14.47 €

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?