Code: 01662393

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01662393
Price: 47.47 EUR
Availability: InStock
Author: Kerstin Eder
ISBN: 9783642341878

by Kerstin Eder, Jo, Onn Shehory

Language: English
Binding: Paperback
Number of pages: 263
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012
More about this

47.47 €

RRP: 51.42 €

You save 3.96 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Exile
18.37 € -2 %
Buy
Essential Guide to Calving
33.73 € -20 %
Buy
BOSNIAN, CROATIAN, SERBIAN: A TEXTBOOK, 2ND ED (PLUS FREE DVD)
44.84 €
Buy
DK Eyewitness Top 10 Munich
11.51 € -16 %
Buy
Zebřičky
5.44 € -33 %
Buy
Book Boy Starter/Beginner
12.92 €
Pre-order
Pure Survival
14.74 € -25 %
Buy
Helix
8.88 €
Buy
The Violence on the meek collection
19.89 € -7 %
Buy
Legislation in Europe
190.30 €
Buy
Remembrance
23.73 € -9 %
Buy
44 Chapters about 4 Men
13.42 € -24 %
Buy
Autobiografía
22.62 € -2 %
Buy
Secrets of Zynpagua
11.20 €
Buy
FROZEN
21.40 € -9 %
Buy
Family Night on Union Station
11.91 €
Buy
Knowledge Quiz: Higher Maths
13.02 €
Buy
How Barisat Bellowed
16.96 € -14 %
Buy
EU Conflict Prevention and Crisis Management
224.34 €
Buy
Elements Du Code Napoleon, Expose Par Demandes Et Par Reponses
23.02 €
Buy
Madonnengrab
11.30 € -10 %
Buy
Magic Rising (Book 4, Stella Mayweather Series)
13.22 € -6 %
Buy
Follow Me Back
9.69 € -25 %
Buy
EinFach Deutsch Unterrichtsmodelle
38.88 €
Buy
Living Words Teachers Level 3 Songs
37.26 € -2 %
Buy
Gute Nacht, Punpun 08. Bd.8
6.96 € -13 %
Buy
El pais de Too / The Land of Too
21.40 €
Buy
Erbverbruderungen zwischen den Hausern Sachsen und Hessen
15.24 € -10 %
Buy
Das Wesen Der Freien Christlichen Kirche (1847)
33.63 € -2 %
Buy
Zunftzeichen
8.48 € -9 %
Buy
Pompeii
9.48 €
Buy
Aramizda Robot Var
14.13 € -4 %
Buy
Genealogy of the Bliss Family in America, From About the Year 1550 to 1880
32.62 € -9 %
Buy
Superclerk
9.69 € -7 %
Buy
True Life Biblical Expierience of Our Time: The First Bible of the Demon Culture,
10.70 € -7 %
Buy
Synapse Symphony
8.27 €
Buy
Un bosque ciudad
9.69 €
Buy
Neutralization and World Politics
84.33 €
Buy
Itinerari francescani. Visita ai luoghi dove visse san Francesco
22.41 €
Buy
Confronto tra forza e resistenza della presa tra violinisti e non violinisti
32.01 € -14 %
Buy
Function Theory in the Unit Ball of n
90.90 €
Buy
Con gli occhi di Caravaggio. Napoli, 1606-1610
32.31 €
Buy
Formule d'Un Traite d'Arbitrage Entre Nations
13.02 € -1 %
Buy
I'll Be Seeing You
28.78 €
Buy
The Expressman and the Detective
12.31 € -7 %
Buy
Gesammelte Werke
23.22 € -11 %
Buy
The Wordpress Code: Get Your Site On the Front Page of Google
18.27 € -6 %
Buy
Olivia Lauren's Olivia Travels: A Guide to Modes of Transportation
9.79 € -6 %
Buy
Christmastime 1941
13.02 € -2 %
Buy
Myths of Greece and Rome
28.27 € -1 %
Buy
Anvisning Till Islandskan Eller Nordiska Fornspraket
22.82 € -25 %
Buy
DEFI INSTITUTO FRANCES 2. LIVRE DE L'ELEVE
24.74 €
Buy
100 PROGRESSIVE STUDIES WITHOUT OCTAVES OP. 139 PIANO
54.43 €
Buy
Sidewalk Cruiseship: Poems
15.34 € -18 %
Buy
Secrets That You Keep
8.58 € -24 %
Buy
Sacrificing the WHO to the Highest Bidder
69.99 €
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 115 loyalty points

Book synopsis

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. §The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.

Book details

Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general

47.47 €

Full title: Hardware and Software: Verification and Testing
Subtitle: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Author: Kerstin Eder, Jo, Onn Shehory
Language: English
Binding: Paperback
Number of pages: 263
EAN: 9783642341878
ISBN: 364234187X
ID: 01662393
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight: 427 g
Dimensions: 235 × 155 × 16 mm
Date of publishing: 09. October 2012