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

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 136 b
19 972 Ft
In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Machinisme et bricolages Anne-Marie Guenin / E-book Adobe ePub DRM
common.buy 8 738 Ft
Trame d'argento Patricia Logan / Book Paperback
common.buy 6 753 Ft
The Charm Offensive - Sármháború Alison Cochrun / Book Hardback
common.buy 4 190 Ft
Ptáčci - karetní hra David Spada / Printed items Cards
common.buy 7 134 Ft
Règles officielles du poker de tournoi Montmirel / Book Paperback
common.buy 7 338 Ft
KBGG | Kinderbetreuungsgeldgesetz und Familienzeitbonusgesetz Martin Sonntag / Book Paperback
common.buy 21 104 Ft
Hunter X Hunter 18 Yoshihiro Togashi / Book Paperback
common.buy 2 662 Ft
Circunferencia y círculo Padilla Díaz / Book Paperback
common.buy 11 489 Ft
Neue Medien im Marketing von professionellen Fußball Vereinen Torben Keuler / Book Paperback
common.buy 17 783 Ft
Wohnungsbindungsgesetz - WoBindG G Recht / Book Paperback
common.buy 3 089 Ft
Teología pública: Una voz para la Iglesia en sociedades plurales Villagrán Medina / Book Paperback
common.buy 7 546 Ft
Palabras en mis manos María Porras Sánchez / Book Paperback
common.buy 9 559 Ft
de la Salubrite Dans Limoges Et Dans Les Environs de Cette Ville LARUE-DUBARRY-J / Book Paperback
common.buy 5 955 Ft
Schwert Der Skythen Und Sarmaten in Sudrussland Waldemar Ginters / Book Hardback
common.buy 45 978 Ft
Affordable
Psicología del amor : el crecimiento personal en la relación de pareja Jürg Willi / Book Paperback
common.buy 6 030 Ft
Leyendas celtas en la literatura irlandesa Ramón Sainero Sánchez / Book Paperback
common.buy 6 118 Ft

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 41 846 Ft
Street Food & Love H a Enri / Book Paperback
common.buy 6 396 Ft
Quit Smoking Naturally Brad Turner / Book Paperback
common.buy 2 764 Ft
View of Lambert's Notes on Ingersoll Helen M Lucas / Book Hardback
common.buy 12 486 Ft
As a Man Thinketh James Allen / Book Paperback
common.buy 3 089 Ft
Indy 500 Recaps-The Short Chute Edition PAT KENNEDY / Book Hardback
common.buy 10 798 Ft
The Law of Rentcharges (Commonly Called Chief Rents), Mainly from a Conveyancing Standpoint. J M Easton / Book Paperback
common.buy 8 061 Ft
Long Story Short... Ian a Wright / Book Paperback
common.buy 3 279 Ft
Hands to Spell-Read-Write: 3 Letter Words Spelling Workbook Vol. 3 of 5 Angela M Foster / Book Paperback
common.buy 5 561 Ft
On Shadow Lake Brian L Blank / Book Paperback
common.buy 3 970 Ft
Achieving Development Success Augustin K Fosu / Book Hardback
common.buy 72 657 Ft
Angels Speak: The Art and Work of Crafting Consciousness Anthony B James / Book Paperback
common.buy 7 444 Ft
Woman and labour (1911). By: Olive Schreiner: Genre: Sociology Olive Schreiner / Book Paperback
common.buy 3 604 Ft
National 5 Physics with Answers, Second Edition Arthur Baillie / Book Paperback
common.buy 11 313 Ft
RECLAIMING CATHOLIC SOCIAL TEACHING ANTHONY ESOLEN / Book Paperback
common.buy 9 504 Ft
More Grammar to Get Things Done Darren Crovitz / Book Hardback
common.buy 79 675 Ft
From Presumption to Prudence in Just-War Rationality Kevin Carnahan / Book Paperback
common.buy 24 091 Ft
I Hope This Email Finds You Never Ken Kupchik / E-book Adobe ePub DRM
common.buy 3 516 Ft
Top
Between Two Fires Christopher Buehlman / Book Paperback
common.buy 6 869 Ft
New
Gut-Brain Axis: Revolutionizing the Microbiome for Mental Clarity Amanda Clarke Jr. / Book Paperback
common.buy 4 986 Ft
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 6 985 Ft
Grammar and Beyond Level 3 Student's Book and Workbook Laurie BlassSusan IannuzziAlice SavageRandi Reppen / Book Hardback
common.buy 21 373 Ft
I Do Again Cheryl Scruggs / Book Paperback
common.buy 5 617 Ft
Haskins Society Journal William North / Book Hardback
common.buy 50 023 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?