Kniha Hardware and Software, Verification and Testing Shmuel Ur

Hardware and Software, Verification and Testing

First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
1 311
This book constitutes the thoroughly refereed post-proceedings of the First International Conference...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2006
Stránek
270
EAN
9783540326045
ISBN
3540326049
Enbook ID
01561731
Hmotnost
890
Rozměry
155 x 235 x 19

Kompletní popis

This book constitutes the thoroughly refereed post-proceedings of the First International Conference on Hardware Verification, Software Testing, and PADTAD held in Haifa, Israel, in November 2005. The conference combines the sixth IBM Verification Workshop, the fourth IBM Software Testing Workshop, and the third PADTAD (Parallel and Distributed Systems: Testing and Debugging) Workshop.§The 14 revised full papers presented together with 3 invited contributions were carefully reviewed and selected from 31 submissions. The papers address all current issues in hardware/software verification, software testing, and testing of parallel and concurrent applications.

Mohlo by vás zajímat

Power of Algorithms

Giorgio Ausiello
1 342
2 679
1 003
2 585
398
778

Ahead of Time

Nancy Manther
460

[Brackets]

David Sloan
251
1 086

Hollywood Heyday

R. G. ARMSTRONG
250

Seeds of Life

Edward Dolnick
1 005
1 106

Bailey Jacobs

Vj Barrington
327
516
249

Fate Series

Hanleigh Bradley
532
824
1 257
2 683

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

So Klingt Musik Aus Oberkrain

Igor Und Seine Oberkrainer
396

Untenrum Frei

Margarete Stokowski
280

El Halloween de Muniatto

ESTER I OLGA BESOLI MONTSERRAT
148

Schloss Bellevue

Hans Hackmann
486
232
178