phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

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
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
? points 154 b
61.30 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

VÝPREDAJ
Šimonovy pracovní listy 21 Eduard Světlík / Brožovaná
common.buy 4.52 €
Kerbschnitzen Christian Zeppetzauer / Pevná
common.buy 20.53 €
Dirichlet's Principle, Conformal Mapping, and Minimal Surfaces Richard Courant / Brožovaná
common.buy 16.90 €
Lonely Planet Mediterranean Europe / Brožovaná
common.buy 31.10 €
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Brožovaná
common.buy 185.84 €
Bauchnabelfussel Pelle Lotterby / Brožovaná
common.buy 22.34 €
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung / Mapa
common.buy 6.94 €
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Brožovaná
common.buy 42.48 €
Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Brožovaná
common.buy 48.72 €
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Brožovaná
common.buy 37.64 €
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / Brožovaná
common.buy 70.87 €
Advanced Structural Dynamics and Active Control of Structures Wodek K. Gawronski / Pevná
common.buy 272.52 €
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Brožovaná
common.buy 9.55 €

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.

Informácie o knihe

Celý názov Hardware and Software: Verification and Testing
Autor Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2011
Počet strán 197
EAN 9783642195822
ISBN 3642195822
Libristo kód 01657535
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 326
Rozmery 155 x 235 x 12

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo > Testovanie a verifikácia softvéru
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet