Preverjanje stanja naročila
LIBRISTO
LIBROAMANTO
obvezno
Pozabljeno geslo
Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun
0
Brezplačna dostava Zásilkovna nad 69.99 €
Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba 3.49 € Zbirno mesto 3.49 € Zbirno mesto 3.49 € Dostava preko Pošte Slovenije 3.49 €
phone Kontakt phoneKako nakupovati
Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Hardware and Software: Verification and Testing

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

Jezik AngleščinaAngleščina
Knjiga Mehka
Knjiga Hardware and Software: Verification and Testing Sharon Barner
Koda Libristo: 01657535
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, marec 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H... Celoten opis
? points 118 b
48.85 €
Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

30 dni za vračilo blaga

Drugi so kupili tudi

Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Knjiga Mehka
common.buy 44.50 €
Ženich new / Igra/Igrača Igrača
common.buy 8.89 €
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Knjiga Mehka
common.buy 38.73 €
100 samolepek Tlapková patrola / Knjiga Mehka
common.buy 3.13 €
Vokabelrätsel Ukrainisch-Deutsch Igor Jourist / Knjiga Mehka
common.buy 6.36 €
Mundus Symbolicus In Emblematum Universitate Formatus, Explicatus Et Tam Sacris, Quam Profanis Eruditionibus As Sententiis Illustratus ...... Filippo Picinelli ((C.R.L.)) / Knjiga Mehka
common.buy 31.85 €
Esqueletos no Armário - Memórias do Filho de um Pastor.- 2?. Ediç?o. Domingo González Jr. Domingo Gonzalez / Knjiga Mehka
common.buy 9.40 €
One Piece - Law (Nippon Novel) Eiichiro Oda / Knjiga Mehka
common.buy 8.59 €
Droit constitutionnel de la Ve République Chabrier Knjiga Mehka
common.buy 27.30 €
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Knjiga Mehka
common.buy 15.26 €
Top
Kerbschnitzen Christian Zeppetzauer / Knjiga Trda
common.buy 19.61 €
Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini / Knjiga Mehka
common.buy 31.05 €
Patte de Velours Osiris Brackhaus / Knjiga Mehka
common.buy 14.96 €
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Knjiga Mehka
common.buy 8.18 €
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel / Tiskani izdelki Zemljevid
common.buy 6.36 €
Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper / Knjiga Mehka
common.buy 13.54 €
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / Knjiga Mehka
common.buy 51.98 €
Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García / Knjiga Mehka
common.buy 20.22 €
La Barcelona rebelde : guía de una ciudad silenciada Anónimo / Knjiga Mehka
common.buy 25.79 €
Ciencias sociales, geografía e historia en Secundaria Carmen Llopis / Knjiga Mehka
common.buy 21.94 €
Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg / Knjiga Mehka
common.buy 8.59 €

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.

Igralka & Poliglotka
EWA KASP za
Predvajaj video
Ewa Kasp
Libristo ima največjo izbiro tujejezične literature. Zato svoje knjige kupujem tukaj.

O knjigi

Polni naslov Hardware and Software: Verification and Testing
Avtor Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Jezik Angleščina
Vezava Knjiga - Mehka
Datum izida 2011
Število strani 197
EAN 9783642195822
ISBN 3642195822
Koda Libristo 01657535
Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Teža 326
Mere 155 x 235 x 12

Kategorije

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Podarite to knjigo še danes
To je povsem preprosto
1 Dodajte knjigo v košarico in izberite dostavo kot darilo 2 V zameno vam bomo poslali kupon 3 Knjiga bo dostavljena na naslov obdarovanca

Morda bi vas zanimalo tudi

Immobilized Catalysts Andreas Kirschning / Knjiga Mehka
common.buy 291.63 €
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Knjiga Mehka
common.buy 145.96 €
The Problems of Philosophy Bertrand Russell / Knjiga Mehka
common.buy 11.22 €
Trans Exploits Jian Neo Chen / Knjiga Mehka
common.buy 32.16 €
Call on Me Jenifer C. Gamber / Knjiga Mehka
common.buy 18.20 €
Caesars' Wives Annelise Freisenbruch / Knjiga Mehka
common.buy 19.21 €
Scholastic Learning Express L2 Mathematics Scholastic Inc. / Knjiga Mehka
common.buy 8.49 €
The New Jersey Turnpike Michael Lapolla / Knjiga Mehka
common.buy 18.30 €
Shakespeare's 'Whores' K. Stanton / Knjiga Mehka
common.buy 82.74 €
Our Good Father: Seeing God Through the Eyes of Jesus Pierre Eade / Knjiga Mehka
common.buy 14.86 €
365 Worksheets - Adding Place Value Commas to 4 Digit Numbers: Math Practice Workbook Kapoo Stem / Knjiga Mehka
common.buy 14.05 €
Computational Neuroscience Winston Ordazzo / Knjiga Mehka
common.buy 48.24 €
Re-figuring the Ramayana as Theology Rao / Knjiga Mehka
common.buy 65.24 €
Body in the Casket Katherine Hallpage / Knjiga Mehka
common.buy 8.49 €
Lighthouses William John Hardy / Knjiga Mehka
common.buy 18.40 €
The Sand Castle of Dreams Tullip Studio / Knjiga Mehka
common.buy 14.05 €
Notes On Military Surveying And Reconnaissance (1882) William Paterson / Knjiga Mehka
common.buy 24.67 €
Dog Training Smackdown Micah Jack / Knjiga Mehka
common.buy 14.66 €
Sloth Bear Luxshmanan Nadaraja / Knjiga Trda
common.buy 37.92 €
That Last Love Letter: Poetry, Photography & Art Doris Jones / Knjiga Mehka
common.buy 12.33 €
Mask Making Techniques McClung / Knjiga Mehka
common.buy 50.87 €
Data Analytics and Visualization in Quality Analysis using Tableau Hwang / Knjiga Mehka
common.buy 68.98 €
Top
Unlock Level 4 Listening, Speaking and Critical Thinking Student's Book with Digital Pack Lewis Lansford / Knjiga Mehka
common.buy 19.01 €
Rocky Harbors Jon B. Alterman / Knjiga Mehka
common.buy 65.54 €

Prijava

Prijavite se v svoj račun. Še nimate računa Libristo? Ustvarite ga zdaj!

 
obvezno
obvezno
Pozabljeno geslo

Še nimate računa? Izkoristite prednosti računa Libristo!

Z računom Libristo boste imeli vedno vse pod nadzorom.

Ustvarite račun Libristo
Knjižni svetovalec Libroamiko
Pozdravljeni, sem Libroamiko, vam lahko pomagam?