Книга Hardware and Software: Verification and Testing Valeria Bertacco

Hardware and Software: Verification and Testing

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Език: Английски език
Корици: С меки корици
Наличност: Външен склад
Изпращаме след 5-8 дни
52.72 103.11 лв
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc...

Информация за книгата

Език
Английски език
Корици
Книга - С меки корици
Издадена
2013
страници
366
EAN
9783319030760
ISBN
3319030760
Enbook ID
02152556
Теглоt
593
Размери
155 x 235 x 22

Пълно описание

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

Може също да ви хареса

157.67 308.37 лв
260.31 509.12 лв
78.33 153.20 лв
21.55 42.14 лв
7.41 14.50 лв
76.12 148.89 лв

Get Over Yourself!

Jennifer Beckham
17.09 33.42 лв
61.84 120.95 лв
132.81 259.75 лв

Nginx Essentials

Valery Kholodkov
38.94 76.15 лв
53.92 105.46 лв

Heartwood

James Lee Burke
12.27 24.01 лв
101.38 198.29 лв
105.19 205.74 лв

History and Biography

T. C. W. BlanningDavid Cannadine
123.49 241.52 лв
13.83 27.04 лв

Клиенти, които купиха тази книга, купиха също

8.77 17.14 лв
32.92 64.39 лв
25.20 49.30 лв
122.98 240.54 лв
6.11 11.95 лв

Ajedrez hipermoderno. Vol. I

Ricardo Aguilera López
11.52 22.54 лв
9.52 18.61 лв
24.80 48.51 лв

Wupp geht um

Martina Temming
9.27 18.12 лв
37.78 73.90 лв
32.02 62.63 лв