Kniha Hardware and Software: Verification and Testing Ofer Strichman

Hardware and Software: Verification and Testing

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 13th International Haifa Verification Conferen...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2017
Stránek
253
EAN
9783319703886
ISBN
3319703889
Enbook ID
18257956
Hmotnost
4219
Rozměry
155 x 235 x 17

Kompletní popis

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.

Mohlo by vás zajímat

160
370

On Shadow Lake

Brian L Blank
230
4 690
189
179
4 298
2 286

The Mother-daughter Book Club

Heather Vogel Frederick
194

Italian Pocket Dictionary

Collins Dictionaries
220
4 690
2 959

I Do Again

Cheryl Scruggs
319

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

495

Hunter X Hunter 18

Yoshihiro Togashi
176

Machinisme et bricolages

Anne-Marie Guenin
577

Trame d'argento

Patricia Logan
391

Palabras en mis manos

María Porras Sánchez
631