Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer International Publishing AG
SKU: 9783319133379
Price: 277.38 RON
Availability: InStock

10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Autor: Eran Yahav

Limbă:

Legare: Carte broșată

Editura: Springer International Publishing AG

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

277.38 lei

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conferen...

Informații despre carte

Autor

Eran Yahav

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2014

Pagini

302

EAN

9783319133379

ISBN

3319133373

Enbook ID

09034266

Editura

Springer International Publishing AG

Greutate

4861

Dimensiuni

155 x 235 x 14

Descriere completă

This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014.§The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Hardware and Software: Verification and Testing

10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și