Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 69.99 €
Speedy courier 3.49 € Speedy point 3.49 € Еконт courier 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday courier 3.99 € Sameday Box 3.99 € Box Now 3.99 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99€

Hardware and Software: Verification and Testing

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

Language EnglishEnglish
Book Paperback
Book Hardware and Software: Verification and Testing Sharon Barner
Libristo code: 01657535
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H... Full description
? points 132 b
54.37 €
106.34  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

One Piece - Law (Nippon Novel) Eiichiro Oda / Book Paperback
common.buy 9.66 € 18.90 лв
Esqueletos no Armário - Memórias do Filho de um Pastor.- 2?. Ediç?o. Domingo González Jr. Domingo Gonzalez / Book Paperback
common.buy 9.92 € 19.40 лв
Mundus Symbolicus In Emblematum Universitate Formatus, Explicatus Et Tam Sacris, Quam Profanis Eruditionibus As Sententiis Illustratus ...... Filippo Picinelli ((C.R.L.)) / Book Paperback
common.buy 33.54 € 65.60 лв
INVISIBLE EDICION ILUSTRADA ELOY MORENO / Book Book
common.buy 28.68 € 56.10 лв
Vokabelrätsel Ukrainisch-Deutsch Igor Jourist / Book Paperback
common.buy 7.02 € 13.74 лв
100 samolepek Tlapková patrola / Book Paperback
common.buy 3.41 € 6.66 лв
Wege zur Strafvollzugsreform. Heinz Müller-Dietz / Book Paperback
common.buy 45.07 € 88.15 лв
Recht und Politik globaler Sicherheit Andreas Fischer-Lescano / Book Paperback
common.buy 51.74 € 101.19 лв
Geschichte der Verfassung der roemischen Republik Nepomuk Fischer / Book Paperback
common.buy 17.10 € 33.45 лв
Droit constitutionnel de la Ve République Chabrier Book Paperback
common.buy 30.96 € 60.55 лв
Kerbschnitzen Christian Zeppetzauer / Book Hardback
common.buy 23.20 € 45.38 лв
Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf / Book Paperback
common.buy 9.14 € 17.88 лв
Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini / Book Paperback
common.buy 34.89 € 68.23 лв
Patte de Velours Osiris Brackhaus / Book Paperback
common.buy 15.71 € 30.72 лв
Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel / Printed items Map
common.buy 6.97 € 13.64 лв
Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper / Book Paperback
common.buy 15.24 € 29.81 лв
Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M / Book Paperback
common.buy 58.35 € 114.13 лв
Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García / Book Paperback
common.buy 22.74 € 44.47 лв
La Barcelona rebelde : guía de una ciudad silenciada Anónimo / Book Paperback
common.buy 29.20 € 57.11 лв
Ciencias sociales, geografía e historia en Secundaria Carmen Llopis / Book Paperback
common.buy 25.27 € 49.43 лв
Ženich new / Game/Toy Toy
common.buy 10.80 € 21.12 лв
Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg / Book Paperback
common.buy 9.66 € 18.90 лв

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Hardware and Software: Verification and Testing
Author Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 197
EAN 9783642195822
ISBN 3642195822
Libristo code 01657535
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 326
Dimensions 155 x 235 x 12

Categories

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
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

Immobilized Catalysts Andreas Kirschning / Book Paperback
common.buy 324.91 € 635.48 лв
New Trends in Nonlinear Dynamics and Control, and their Applications W. Kang / Book Paperback
common.buy 162.61 € 318.04 лв
The Problems of Philosophy Bertrand Russell / Book Paperback
common.buy 11.78 € 23.04 лв
Trans Exploits Jian Neo Chen / Book Paperback
common.buy 33.64 € 65.80 лв
Forensics Anita Yasuda / Book Paperback
common.buy 11.37 € 22.23 лв
Call on Me Jenifer C. Gamber / Book Paperback
common.buy 19.43 € 38.00 лв
Caesars' Wives Annelise Freisenbruch / Book Paperback
common.buy 20.31 € 39.72 лв
Scholastic Learning Express L2 Mathematics Scholastic Inc. / Book Paperback
common.buy 9.92 € 19.40 лв
The New Jersey Turnpike Michael Lapolla / Book Paperback
common.buy 22.01 € 43.06 лв
Shakespeare's 'Whores' K. Stanton / Book Paperback
common.buy 86.78 € 169.73 лв
Our Good Father: Seeing God Through the Eyes of Jesus Pierre Eade / Book Paperback
common.buy 16.64 € 32.54 лв
365 Worksheets - Adding Place Value Commas to 4 Digit Numbers: Math Practice Workbook Kapoo Stem / Book Paperback
common.buy 14.83 € 29.00 лв
Computational Neuroscience Winston Ordazzo / Book Paperback
common.buy 50.81 € 99.37 лв
Re-figuring the Ramayana as Theology Rao / Book Paperback
common.buy 74.94 € 146.58 лв
Body in the Casket Katherine Hallpage / Book Paperback
common.buy 9.92 € 19.40 лв
Nuclear Energy: Power from the Atom Troon Harrison Adams / Book Hardback
common.buy 23.51 € 45.99 лв
The Sand Castle of Dreams Tullip Studio / Book Paperback
common.buy 14.83 € 29.00 лв
Notes On Military Surveying And Reconnaissance (1882) William Paterson / Book Paperback
common.buy 25.94 € 50.74 лв
Dog Training Smackdown Micah Jack / Book Paperback
common.buy 15.71 € 30.72 лв
Sloth Bear Luxshmanan Nadaraja / Book Hardback
common.buy 39.90 € 78.04 лв
That Last Love Letter: Poetry, Photography & Art Doris Jones / Book Paperback
common.buy 13.07 € 25.57 лв
Mask Making Techniques McClung / Book Paperback
common.buy 60.32 € 117.97 лв
Data Analytics and Visualization in Quality Analysis using Tableau Hwang / Book Paperback
common.buy 75.15 € 146.98 лв
Top
Unlock Level 4 Listening, Speaking and Critical Thinking Student's Book with Digital Pack Lewis Lansford / Book Paperback
common.buy 22.12 € 43.26 лв

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?