Carte Hardware and Software: Verification and Testing Armin Biere

Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Limbă: engleză
Legare: Carte broșată
Disponibilitate: În depozitul extern
Expediem în 5-8 zile
254.46 lei
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio...

Informații despre carte

Limbă
engleză
Legare
Carte - Carte broșată
Publicat
2013
Pagini
281
EAN
9783642396106
ISBN
3642396100
Enbook ID
01664050
Greutate
456
Dimensiuni
155 x 235 x 19

Descriere completă

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems.

S-ar putea să te intereseze

168.36 lei

Rethinking Genesis 1-11

Gordon J. Wenham
140.84 lei
96.37 lei

In the Heights

LIN-MANUEL MIRANDA
155.96 lei

Children of Jocasta

Natalie Haynes
52.92 lei

Rocket Science

Alan McFadzean
195.48 lei
1 109.23 lei

Life's Edge

Carl Zimmer
77.22 lei
133.48 lei

World Literature

Klaudia Hiu Yen Lee
1 109.23 lei

Dark Waters

Jason Wright
16.62 lei

Hypertension and Stroke

Venkatesh Aiyagari
1 078.98 lei
255.67 lei
336.53 lei

Basic Economics

Thomas Sowell
170.08 lei
869.17 lei

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

82.97 lei

Schody do nebe

Lorna Byrneová
52.72 lei
573.56 lei
230.97 lei

Marmorpalais im Neuen Garten

der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg
35.48 lei

Tumeurs malignes rares

Jean-Pierre Droz
850.72 lei
48.08 lei
42.84 lei
56.45 lei
143.56 lei

LE DEFI DES DRUIDES

BRISOU-PELLEN
66.94 lei