phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 74 Kč Zásilkovna 49 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Hardware and Software: Verification and Testing

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Hardware and Software: Verification and Testing Sharon Barner
Libristo kód: 01657535
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, března 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H... Celý popis
? points 154 b
1 540 Kč včetně DPH
Skladem u dodavatele v malém množství Odesíláme za 13-16 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

Výprodej
Šimonovy pracovní listy 21 Eduard Světlík / Brožovaná
common.buy 128 Kč
Kerbschnitzen Christian Zeppetzauer / Pevná
common.buy 484 Kč
Dirichlet's Principle, Conformal Mapping, and Minimal Surfaces Richard Courant / Brožovaná
common.buy 424 Kč
Lonely Planet Mediterranean Europe / Brožovaná
common.buy 782 Kč
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Brožovaná
common.buy 4 671 Kč
Bauchnabelfussel Pelle Lotterby / Brožovaná
common.buy 562 Kč
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Brožovaná
common.buy 1 068 Kč
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung / Mapa
common.buy 175 Kč
Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Brožovaná
common.buy 1 226 Kč
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Brožovaná
common.buy 947 Kč
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / Brožovaná
common.buy 1 781 Kč
Advanced Structural Dynamics and Active Control of Structures Wodek K. Gawronski / Pevná
common.buy 6 849 Kč
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Brožovaná
common.buy 240 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.

Informace o knize

Plný název Hardware and Software: Verification and Testing
Autor Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 197
EAN 9783642195822
ISBN 3642195822
Libristo kód 01657535
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 326
Rozměry 155 x 235 x 12

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet