Könyv 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

Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
17 676 Ft
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio...

Információk a könyvről

Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2013
oldal
281
EAN
9783642396106
ISBN
3642396100
Enbook ID
01664050
Súly
456
Méretek
155 x 235 x 19

Teljes leírás

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.

Érdekelheti

11 919 Ft

Rethinking Genesis 1-11

Gordon J. Wenham
9 814 Ft
6 662 Ft

In the Heights

LIN-MANUEL MIRANDA
10 916 Ft

Children of Jocasta

Natalie Haynes
3 706 Ft

Rocket Science

Alan McFadzean
13 605 Ft
76 597 Ft

Life's Edge

Carl Zimmer
5 386 Ft
9 248 Ft

World Literature

Klaudia Hiu Yen Lee
76 597 Ft

Dark Waters

Jason Wright
1 119 Ft

Hypertension and Stroke

Venkatesh Aiyagari
74 943 Ft
17 676 Ft
22 665 Ft

Basic Economics

Thomas Sowell
11 906 Ft
59 970 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

5 587 Ft

Schody do nebe

Lorna Byrneová
3 465 Ft
39 904 Ft
15 553 Ft

Marmorpalais im Neuen Garten

der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg
2 390 Ft

Tumeurs malignes rares

Jean-Pierre Droz
57 294 Ft
3 353 Ft
2 885 Ft
3 946 Ft

LE DEFI DES DRUIDES

BRISOU-PELLEN
4 513 Ft