Code: 18257956

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer International Publishing AG
SKU: 18257956
Price: 51.68 EUR
Availability: InStock
Author: Ofer Strichman
ISBN: 9783319703886

by Ofer Strichman, Rachel Tzoref-Brill

Language: English
Binding: Paperback
Number of pages: 253
Publisher: Springer International Publishing AG, 2017
More about this

51.68 €

RRP: 55.96 €

You save 4.28 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Between Two Fires
17.89 € -25 %
Buy
Wild Reverence
15.57 € -24 %
Buy
Italian Pocket Dictionary
10.81 € -24 %
Buy
Psicología del amor : el crecimiento personal en la relación de pareja
16.98 € -15 %
Buy
The Charm Offensive - Sármháború
10.81 € -11 %
Buy
Hunter X Hunter 18
7.48 € -10 %
Buy
RECLAIMING CATHOLIC SOCIAL TEACHING
24.87 €
Buy
Long Story Short...
8.08 € -6 %
Buy
Description of the West-Indies. a Poem, in Four Books. by Mr. Singleton. During His Excursions Among Those Islands.
17.29 € -2 %
Buy
Foliage
11.72 € -14 %
Buy
Indy 500 Recaps-The Short Chute Edition
26.90 €
Buy
The Law of Rentcharges (Commonly Called Chief Rents), Mainly from a Conveyancing Standpoint.
20.02 € -1 %
Buy
Ptáčci - karetní hra
17.59 € -5 %
Buy
Teología pública: Una voz para la Iglesia en sociedades plurales
21.03 €
Buy
Quit Smoking Naturally
6.77 € -7 %
Buy
Trame d'argento
16.68 € -6 %
Buy
de la Salubrite Dans Limoges Et Dans Les Environs de Cette Ville
14.76 € -2 %
Buy
Achieving Development Success
193.50 €
Buy
KBGG | Kinderbetreuungsgeldgesetz und Familienzeitbonusgesetz
59.27 €
Buy
As a Man Thinketh
7.68 € -1 %
Buy
Liberalizing Financial Services and Foreign Direct Investment
53.30 € -4 %
Buy
Gut-Brain Axis: Revolutionizing the Microbiome for Mental Clarity
14.05 € -3 %
Buy
Privacy, Security and Trust within the Context of Pervasive Computing
109.34 €
Buy
Hands to Spell-Read-Write: 3 Letter Words Spelling Workbook Vol. 3 of 5
13.75 € -6 %
Buy
The entire story of biri jeet
11.52 € -7 %
Buy
Circunferencia y círculo
32.16 €
Buy
Neue Medien im Marketing von professionellen Fußball Vereinen
49.96 € -3 %
Buy
National 5 Physics with Answers, Second Edition
30.03 € -14 %
Buy
I Do Again
13.54 € -20 %
Buy
Emotional Intelligence In Services Marketing
32.06 € -14 %
Buy
Super-Recursive Algorithms
102.97 € -7 %
Buy
2 Piece Patchwork
18.50 € -26 %
Buy
On Shadow Lake
9.80 € -6 %
Buy
Philosophen-Quartett
8.99 € -11 %
Buy
Palabras en mis manos
26.80 €
Buy
Posterity Is Now: Practicing Museum Anthropology, Collections Care, and Collaborative Research with Indigenous Peoples
102.77 €
Buy
The Mother-daughter Book Club
8.69 € -10 %
Buy
Woman and labour (1911). By: Olive Schreiner: Genre: Sociology
8.89 € -6 %
Buy
Angels Speak: The Art and Work of Crafting Consciousness
18.30 € -7 %
Buy
The Monster Club
18.30 € -7 %
Buy
Schwert Der Skythen Und Sarmaten in Sudrussland
119.15 € -4 %
Buy
View of Lambert's Notes on Ingersoll
30.94 € -2 %
Buy
Street Food & Love
15.77 € -6 %
Buy
California Health and Safety Code (4/8) (2018 Edition)
31.05 € -7 %
Buy
Wohnungsbindungsgesetz - WoBindG
7.58 € -7 %
Buy
Remarks Upon the Disputed Points of Boundary Under the Fifth Article of the Treaty of Ghent
29.22 € -1 %
Buy
Histoire Du Pauvre Petit Franichko (1885)
26.49 € -1 %
Buy
Beautiful Life In Berlin, New Hampshire
13.65 €
Buy
Javanese Gentry
29.83 € -5 %
Buy
Women and the Victorian Occult
199.78 €
Buy
Leyendas celtas en la literatura irlandesa
15.77 € -9 %
Buy
More Grammar to Get Things Done
199.78 €
Buy
Binding Men
71.91 €
Buy
Règles officielles du poker de tournoi
20.52 €
Buy
CÉRAMIQUES DE GRANDE GRÈCE ET AUTRES ANTIQUITÉS
52.90 €
Buy
From Presumption to Prudence in Just-War Rationality
64.43 €
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Hardware and Software: Verification and Testing

Book details
Synopsis
Trending among others

You get 125 loyalty points

Book synopsis

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.