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

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 132 b
54.28 €
106.17  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Mathematik heute - Ausgabe 2012 für Niedersachsen Rudolf Vom Hofe / Book Sheet
common.buy 12.28 € 24.01 лв
Mutlu Yasama Sanati Josef Kirschner / Book Paperback
common.buy 17.95 € 35.11 лв
Machinisme et bricolages Anne-Marie Guenin / E-book Adobe ePub DRM
common.buy 26.16 € 51.16 лв
The Charm Offensive - Sármháború Alison Cochrun / Book Hardback
common.buy 11.40 € 22.29 лв
TUNELES 2 PROFUNDIDADES GORDON / Book Hardback
common.buy 4.95 € 9.68 лв
Láska zrozená ve lži Lexi Ryanová / Book Hardback
common.buy 17.23 € 33.70 лв
Ptáčci - karetní hra David Spada / Printed items Cards
common.buy 20.38 € 39.86 лв
KBGG | Kinderbetreuungsgeldgesetz und Familienzeitbonusgesetz Martin Sonntag / Book Paperback
common.buy 61.87 € 121.00 лв
Teología pública: Una voz para la Iglesia en sociedades plurales Villagrán Medina / Book Paperback
common.buy 21.93 € 42.88 лв
Palabras en mis manos María Porras Sánchez / Book Paperback
common.buy 28.02 € 54.79 лв
Krysař Radek Malý / Book Hardback
common.buy 10.32 € 20.18 лв
de la Salubrite Dans Limoges Et Dans Les Environs de Cette Ville LARUE-DUBARRY-J / Book Paperback
common.buy 15.48 € 30.27 лв
Circunferencia y círculo Padilla Díaz / Book Paperback
common.buy 33.54 € 65.59 лв
Affordable
Psicología del amor : el crecimiento personal en la relación de pareja Jürg Willi / Book Paperback
common.buy 16.10 € 31.48 лв
Trame d'argento Patricia Logan / Book Paperback
common.buy 17.49 € 34.20 лв
Wohnungsbindungsgesetz - WoBindG G Recht / Book Paperback
common.buy 7.99 € 15.63 лв
Schwert Der Skythen Und Sarmaten in Sudrussland Waldemar Ginters / Book Hardback
common.buy 125.13 € 244.74 лв
Campos Electromagneticos y Voltajes Inducidos Por Rayos En Edificios Johnatan Mauricio Rodríguez Serna / Book Paperback
common.buy 146.45 € 286.43 лв
Neue Medien im Marketing von professionellen Fußball Vereinen Torben Keuler / Book Paperback
common.buy 52.22 € 102.13 лв
Hunter X Hunter 18 Yoshihiro Togashi / Book Paperback
common.buy 9.39 € 18.36 лв
Der Adler mit der Frau im Herzen Cornelius Bormann / Book Hardback
common.buy 26.57 € 51.97 лв
Histoire Du Pauvre Petit Franichko (1885) Fritz Mauthner / Book Paperback
common.buy 27.81 € 54.39 лв
Philosophen-Quartett / Game/Toy Game
common.buy 9.54 € 18.66 лв
Règles officielles du poker de tournoi Montmirel / Book Paperback
common.buy 20.48 € 40.06 лв

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 119.46 € 233.64 лв
The entire story of biri jeet E a Halper / Book Paperback
common.buy 12.12 € 23.71 лв
Emotional Intelligence In Services Marketing Sanjeev Tripathy / Book Paperback
common.buy 33.95 € 66.40 лв
National 5 Physics with Answers, Second Edition Arthur Baillie / Book Paperback
common.buy 31.68 € 61.96 лв
Woman and labour (1911). By: Olive Schreiner: Genre: Sociology Olive Schreiner / Book Paperback
common.buy 9.34 € 18.26 лв
Angels Speak: The Art and Work of Crafting Consciousness Anthony B James / Book Paperback
common.buy 19.24 € 37.64 лв
Street Food & Love H a Enri / Book Paperback
common.buy 16.56 € 32.39 лв
View of Lambert's Notes on Ingersoll Helen M Lucas / Book Hardback
common.buy 32.51 € 63.58 лв
On Shadow Lake Brian L Blank / Book Paperback
common.buy 10.32 € 20.18 лв
Italian Pocket Dictionary Collins Dictionaries / Book Paperback
common.buy 11.45 € 22.40 лв
Long Story Short... Ian a Wright / Book Paperback
common.buy 8.51 € 16.64 лв
The Law of Rentcharges (Commonly Called Chief Rents), Mainly from a Conveyancing Standpoint. J M Easton / Book Paperback
common.buy 21.00 € 41.07 лв
Indy 500 Recaps-The Short Chute Edition PAT KENNEDY / Book Hardback
common.buy 27.60 € 53.99 лв
As a Man Thinketh James Allen / Book Paperback
common.buy 8.04 € 15.73 лв
Hands to Spell-Read-Write: 3 Letter Words Spelling Workbook Vol. 3 of 5 Angela M Foster / Book Paperback
common.buy 14.44 € 28.25 лв
RECLAIMING CATHOLIC SOCIAL TEACHING ANTHONY ESOLEN / Book Paperback
common.buy 26.16 € 51.16 лв
More Grammar to Get Things Done Darren Crovitz / Book Hardback
common.buy 208.63 € 408.05 лв
From Presumption to Prudence in Just-War Rationality Kevin Carnahan / Book Paperback
common.buy 70.38 € 137.66 лв
Time to Give a F*ck! The Technological Revolution and You Peter Steidl / Book Paperback
common.buy 17.85 € 34.91 лв
Wartime with the Cornish Girls Betty Walker / Audiobook MP3
common.buy 15.94 € 31.18 лв
Beckett and Modernism Olga Beloborodova / E-book Adobe ePub DRM
common.buy 125.70 € 245.85 лв
I Hope This Email Finds You Never Ken Kupchik / E-book Adobe ePub DRM
common.buy 10.37 € 20.28 лв
Top
Wild Reverence Rebecca Ross / Book Paperback
common.buy 15.48 € 30.27 лв
Avengers by Jed MacKay Vol. 5 Valerio Schiti / Book Paperback
common.buy 15.73 € 30.77 лв

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?