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
Kurier DPD 4.49 € Kurier Hermes 4.99 € Kurier DHL 3.99 € Punkt Hermes 4.49 € Punkt DPD 2.99 € Kurier GLS 4.99 €
phone Kontakt phoneJak kupować

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 111 b
45.49 € včetně DPH
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

One Piece - Law (Nippon Novel) Eiichiro Oda / Książka Miękka
common.buy 10.00 €
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 8.39 €
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 28.29 €
INVISIBLE EDICION ILUSTRADA ELOY MORENO / Książka Książka
common.buy 21.59 €
Vokabelrätsel Ukrainisch-Deutsch Igor Jourist / Książka Miękka
common.buy 5.99 €
100 samolepek Tlapková patrola / Książka Miękka
common.buy 2.79 €
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Książka Miękka
common.buy 39.90 €
Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Książka Miękka
common.buy 46.00 €
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Książka Miękka
common.buy 17.95 €
Droit constitutionnel de la Ve République Chabrier Książka Miękka
common.buy 24.19 €
Kerbschnitzen Christian Zeppetzauer / Książka Twarda
common.buy 22.00 €
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Książka Miękka
common.buy 9.49 €
Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini / Książka Miękka
common.buy 28.79 €
Patte de Velours Osiris Brackhaus / Książka Miękka
common.buy 16.39 €
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel / Prasa Mapa
common.buy 5.99 €
Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper / Książka Miękka
common.buy 15.95 €
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / Książka Miękka
common.buy 48.09 €
Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García / Książka Miękka
common.buy 18.79 €
La Barcelona rebelde : guía de una ciudad silenciada Anónimo / Książka Miękka
common.buy 23.29 €
Ciencias sociales, geografía e historia en Secundaria Carmen Llopis / Książka Miękka
common.buy 19.69 €
Ženich new / Gra/Zabawka Zabawka
common.buy 7.99 €
Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg / Książka Miękka
common.buy 9.99 €

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 271.79 €
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Książka Miękka
common.buy 136.09 €
The Problems of Philosophy Bertrand Russell / Książka Miękka
common.buy 9.99 €
Trans Exploits Jian Neo Chen / Książka Miękka
common.buy 28.89 €
Forensics Anita Yasuda / Książka Miękka
common.buy 8.99 €
Call on Me Jenifer C. Gamber / Książka Miękka
common.buy 15.59 €
Caesars' Wives Annelise Freisenbruch / Książka Miękka
common.buy 16.69 €
Scholastic Learning Express L2 Mathematics Scholastic Inc. / Książka Miękka
common.buy 8.49 €
The New Jersey Turnpike Michael Lapolla / Książka Miękka
common.buy 16.79 €
Shakespeare's 'Whores' K. Stanton / Książka Miękka
common.buy 73.59 €
Our Good Father: Seeing God Through the Eyes of Jesus Pierre Eade / Książka Miękka
common.buy 13.89 €
365 Worksheets - Adding Place Value Commas to 4 Digit Numbers: Math Practice Workbook Kapoo Stem / Książka Miękka
common.buy 12.39 €
Computational Neuroscience Winston Ordazzo / Książka Miękka
common.buy 42.59 €
Re-figuring the Ramayana as Theology Rao / Książka Miękka
common.buy 63.49 €
Body in the Casket Katherine Hallpage / Książka Miękka
common.buy 8.49 €
Nuclear Energy: Power from the Atom Troon Harrison Adams / Książka Twarda
common.buy 18.89 €
The Sand Castle of Dreams Tullip Studio / Książka Miękka
common.buy 15.39 €
Notes On Military Surveying And Reconnaissance (1882) William Paterson / Książka Miękka
common.buy 21.89 €
Dog Training Smackdown Micah Jack / Książka Miękka
common.buy 12.59 €
Sloth Bear Luxshmanan Nadaraja / Książka Twarda
common.buy 33.39 €
That Last Love Letter: Poetry, Photography & Art Doris Jones / Książka Miękka
common.buy 10.89 €
Mask Making Techniques McClung / Książka Miękka
common.buy 51.19 €
Data Analytics and Visualization in Quality Analysis using Tableau Hwang / Książka Miękka
common.buy 64.49 €
TOP
Unlock Level 4 Listening, Speaking and Critical Thinking Student's Book with Digital Pack Lewis Lansford / Książka Miękka
common.buy 20.89 €

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
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?