Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Hardware and Software: Verification and Testing

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

Język AngielskiAngielski
Książka Miękka
Książka Hardware and Software: Verification and Testing Sharon Barner
Kod Libristo: 01657535
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marzec 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H... Cały opis
? points 125 b
218.99 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Książka Miękka
common.buy 209.56 zł
Ženich new / Gra/Zabawka Zabawka
common.buy 35.22 zł
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Książka Miękka
common.buy 182.16 zł
100 samolepek Tlapková patrola / Książka Miękka
common.buy 14.14 zł
Vokabelrätsel Ukrainisch-Deutsch Igor Jourist / Książka Miękka
common.buy 27.69 zł
Mundus Symbolicus In Emblematum Universitate Formatus, Explicatus Et Tam Sacris, Quam Profanis Eruditionibus As Sententiis Illustratus ...... Filippo Picinelli ((C.R.L.)) / Książka Miękka
common.buy 142.21 zł
Esqueletos no Armário - Memórias do Filho de um Pastor.- 2?. Ediç?o. Domingo González Jr. Domingo Gonzalez / Książka Miękka
common.buy 42.04 zł
One Piece - Law (Nippon Novel) Eiichiro Oda / Książka Miękka
common.buy 38.73 zł
Droit constitutionnel de la Ve République Chabrier Książka Miękka
common.buy 126.65 zł
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Książka Miękka
common.buy 68.64 zł
TOP
Kerbschnitzen Christian Zeppetzauer / Książka Twarda
common.buy 80.89 zł
Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini / Książka Miękka
common.buy 139.80 zł
Patte de Velours Osiris Brackhaus / Książka Miękka
common.buy 66.73 zł
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Książka Miękka
common.buy 36.93 zł
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel / Prasa Mapa
common.buy 28.19 zł
Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper / Książka Miękka
common.buy 61.11 zł
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / Książka Miękka
common.buy 233.85 zł
Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García / Książka Miękka
common.buy 90.92 zł
La Barcelona rebelde : guía de una ciudad silenciada Anónimo / Książka Miękka
common.buy 118.93 zł
Ciencias sociales, geografía e historia en Secundaria Carmen Llopis / Książka Miękka
common.buy 102.46 zł
Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg / Książka Miękka
common.buy 38.73 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Hardware and Software: Verification and Testing
Autor Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Język Angielski
Oprawa Książka - Miękka
Data wydania 2011
Liczba stron 197
EAN 9783642195822
ISBN 3642195822
Kod Libristo 01657535
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 326
Wymiary 155 x 235 x 12

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Immobilized Catalysts Andreas Kirschning / Książka Miękka
common.buy 1 307.28 zł
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Książka Miękka
common.buy 654.19 zł
The Problems of Philosophy Bertrand Russell / Książka Miękka
common.buy 49.87 zł
Trans Exploits Jian Neo Chen / Książka Miękka
common.buy 142.81 zł
Call on Me Jenifer C. Gamber / Książka Miękka
common.buy 82.29 zł
Caesars' Wives Annelise Freisenbruch / Książka Miękka
common.buy 86.21 zł
Scholastic Learning Express L2 Mathematics Scholastic Inc. / Książka Miękka
common.buy 37.83 zł
The New Jersey Turnpike Michael Lapolla / Książka Miękka
common.buy 88.41 zł
Shakespeare's 'Whores' K. Stanton / Książka Miękka
common.buy 333.01 zł
Our Good Father: Seeing God Through the Eyes of Jesus Pierre Eade / Książka Miękka
common.buy 66.94 zł
365 Worksheets - Adding Place Value Commas to 4 Digit Numbers: Math Practice Workbook Kapoo Stem / Książka Miękka
common.buy 62.92 zł
Computational Neuroscience Winston Ordazzo / Książka Miękka
common.buy 215.48 zł
Re-figuring the Ramayana as Theology Rao / Książka Miękka
common.buy 290.96 zł
Body in the Casket Katherine Hallpage / Książka Miękka
common.buy 37.83 zł
Lighthouses William John Hardy / Książka Miękka
common.buy 81.99 zł
The Sand Castle of Dreams Tullip Studio / Książka Miękka
common.buy 62.92 zł
Notes On Military Surveying And Reconnaissance (1882) William Paterson / Książka Miękka
common.buy 109.99 zł
Dog Training Smackdown Micah Jack / Książka Miękka
common.buy 66.53 zł
Sloth Bear Luxshmanan Nadaraja / Książka Twarda
common.buy 169.21 zł
That Last Love Letter: Poetry, Photography & Art Doris Jones / Książka Miękka
common.buy 55.39 zł
Mask Making Techniques McClung / Książka Miękka
common.buy 226.52 zł
Data Analytics and Visualization in Quality Analysis using Tableau Hwang / Książka Miękka
common.buy 305.71 zł
TOP
Unlock Level 4 Listening, Speaking and Critical Thinking Student's Book with Digital Pack Lewis Lansford / Książka Miękka
common.buy 95.14 zł
Rocky Harbors Jon B. Alterman / Książka Miękka
common.buy 289.45 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo