Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

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: 1182 CZK
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

Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, březen 2011

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

Libristo kód: 01657535

118 b

1 182 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Recht und Politik globaler Sicherheit Andreas Fischer-Lescano

Brožovaná

1 196 Kč

Ženich new

Hračka

241 Kč

Wege zur Strafvollzugsreform. Heinz Müller-Dietz

Brožovaná

1 040 Kč

100 samolepek Tlapková patrola

Brožovaná

71 Kč

Vokabelrätsel Ukrainisch-Deutsch Igor Jourist

Brožovaná

158 Kč

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

Brožovaná

772 Kč

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

Brožovaná

228 Kč

One Piece - Law (Nippon Novel) Eiichiro Oda

Brožovaná

208 Kč

Droit constitutionnel de la Ve République Chabrier Kniha

Brožovaná

723 Kč

Geschichte der Verfassung der roemischen Republik Nepomuk Fischer

Brožovaná

369 Kč

Kerbschnitzen Christian Zeppetzauer

Pevná

434 Kč

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

Brožovaná

752 Kč

Patte de Velours Osiris Brackhaus

Brožovaná

362 Kč

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

Brožovaná

198 Kč

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

Mapa

153 Kč

Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper

Brožovaná

328 Kč

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

Brožovaná

1 257 Kč

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

Brožovaná

489 Kč

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

Brožovaná

679 Kč

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

Brožovaná

585 Kč

Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg

Brožovaná

208 Kč

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.