Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.99 € SPS 3.99 € Kuriér GLS 3.49 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Zberné miesto DPD 0.00 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657535
Price: 51.75 EUR
Availability: InStock
Author: Sharon Barner
ISBN: 9783642195822

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 01657535

Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 2011

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H... Celý popis

Libristo kód: 01657535

125 b

51.75 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Recht und Politik globaler Sicherheit Andreas Fischer-Lescano

Brožovaná

49.52 €

Ženich new

Hračka

9.92 €

Wege zur Strafvollzugsreform. Heinz Müller-Dietz

Brožovaná

43.03 €

100 samolepek Tlapková patrola

Brožovaná

2.72 €

Vokabelrätsel Ukrainisch-Deutsch Igor Jourist

Brožovaná

6.57 €

Mundus Symbolicus In Emblematum Universitate Formatus, Explicatus Et Tam Sacris, Quam Profanis Eruditionibus As Sententiis Illustratus ...... Filippo Picinelli ((C.R.L.))

Brožovaná

31.89 €

Esqueletos no Armário - Memórias do Filho de um Pastor.- 2?. Ediç?o. Domingo González Jr. Domingo Gonzalez

Brožovaná

9.41 €

One Piece - Law (Nippon Novel) Eiichiro Oda

Brožovaná

9.11 €

Droit constitutionnel de la Ve République Chabrier Kniha

Brožovaná

29.87 €

Geschichte der Verfassung der roemischen Republik Nepomuk Fischer

Brožovaná

16.20 €

Kerbschnitzen Christian Zeppetzauer

Pevná

19.13 €

Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini

Brožovaná

33.01 €

Patte de Velours Osiris Brackhaus

Brožovaná

14.98 €

Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf

Brožovaná

8.70 €

Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel

Mapa

6.67 €

Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper

Brožovaná

14.47 €

Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M

Brožovaná

55.19 €

Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García

Brožovaná

21.46 €

La Barcelona rebelde : guía de una ciudad silenciada Anónimo

Brožovaná

28.05 €

Ciencias sociales, geografía e historia en Secundaria Carmen Llopis

Brožovaná

24.20 €

Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg

Brožovaná

9.11 €

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.§The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.