Kniha 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

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2013
Stránek
366
EAN
9783319030760
ISBN
3319030760
Enbook ID
02152556
Hmotnost
593
Rozměry
155 x 235 x 22

Kompletní popis

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.

Mohlo by vás zajímat

3 426
5 757
171
1 650

Get Over Yourself!

Jennifer Beckham
371
1 431

Nginx Essentials

Valery Kholodkov
897

Heartwood

James Lee Burke
259

History and Biography

T. C. W. BlanningDavid Cannadine
2 853
316

Zákaznicí kteří koupili tuto knihu koupili také

203
704
140

Ajedrez hipermoderno. Vol. I

Ricardo Aguilera López
267
217
534

Wupp geht um

Martina Temming
200
819