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

12th International Haifa Verification Conference, HVC 2016, Haifa, Israel, November 14-17, 2016, Proceedings

Language EnglishEnglish
Book Paperback
Book Hardware and Software: Verification and Testing Roderick Bloem
Libristo code: 15194770
Publishers Springer International Publishing AG, November 2016
This book constitutes the refereed proceedings of the 12th International Haifa Verification Conferen... Full description
? points 132 b
54.48 €
106.56  лв
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

As designacoes toponimicas em Terras do sem fim, de Jorge Amado Ribeiro De Queiroz Rita De Cassia / Book Paperback
common.buy 22.79 € 44.56 лв
Friedrich Schiller Peter-André Alt / Book Paperback
common.buy 10.15 € 19.85 лв
Mustangs Bousquet / Book Paperback
common.buy 17.45 € 34.13 лв
Algebre N. Bourbaki / Book Paperback
common.buy 61.22 € 119.73 лв
Pilates Anatomie Rael Isacowitz / Book Paperback
common.buy 24.75 € 48.41 лв
Gottfried Achenwall, Ius naturae in usum auditorum Alexander Aichele / Book Hardback
common.buy 278.35 € 544.40 лв
Un bateau pour l'enfer Gilbert Sinoué / Book Paperback
common.buy 12.69 € 24.81 лв
Cahier d'exercices Pose tes limites, trouve la paix Nedra Glover Tawwab / Book Paperback
common.buy 23.56 € 46.08 лв
żQué es la ilustración? / What is Enlightenment? Immanuel Kant / Book Paperback
common.buy 16.98 € 33.22 лв
Passiflora Bettina Ulmer / Book Paperback
common.buy 14.39 € 28.15 лв
Wprowadzenie do siatki Bhasker Dr Rajnish Bhasker / Book Paperback
common.buy 37.81 € 73.94 лв
Els Nostres Disla Sanz / Book Paperback
common.buy 16.00 € 31.29 лв
Coming soon
Le sexe polémique - Quand la paranoïa s'empare des campus américains Kipnis / Book Paperback
common.buy 28.48 € 55.71 лв
Ab durch die Hecke, 1 DVD Tim Johnson / Video DVD
common.buy 12.89 € 25.21 лв
Mosaik Sammelband - Die Fahrt nach Karnak Klaus D. Schleiter / Book Paperback
common.buy 16.36 € 32.00 лв
Beitrage Zur Feineren Anatomie Der Medulla Oblongata Und Der Brucke (1894) August Cramer / Book Paperback
common.buy 22.22 € 43.45 лв
Echo Terry Moore / Book Paperback
common.buy 17.09 € 33.42 лв
39 Recetas de Jugos Que Rápidamente Reducirán la Constipación: Mejore su Digestión Rápida y Naturalmente Usando Ingredientes Deliciosos y Efectivos Joe Correa Csn / Book Paperback
common.buy 16.67 € 32.61 лв
Técnico en Farmacia del Servicio Andaluz de Salud. Temario específico. Editores / Book Paperback
common.buy 50.34 € 98.46 лв
Pronostic Et Traitement de l'Epilepsie, Succes Remarquables LEGRAND DU SAULLE-H / Book Paperback
common.buy 13.72 € 26.84 лв
La Grotte Des Scribes a Deir El-Bahari: La Tombe Mma 504 Et Ses Graffiti Chloe Ragazzoli / Book Hardback
common.buy 51.38 € 100.48 лв
Comunicación oral y escrita en la empresa Ricardo Herrero Domingo / Book Paperback
common.buy 15.22 € 29.77 лв
Chronique de la régence et du r?gne de Louis 15 (1718-1763); ou, Journal de Barbier, avocat au Parlement de Paris. 1. éd. compl?te, conforme au manusc Edmond Jean Francois Barbier / Book Hardback
common.buy 40.19 € 78.60 лв
Ofertas gastronómicas sencillas y sistemas de aprovisionamiento : gestión de modelos de restauración Irene Magdalena Fernández / Book Paperback
common.buy 28.02 € 54.80 лв

This book constitutes the refereed proceedings of the 12th International Haifa Verification Conference, HVC 2016, held in Haifa, Israel in November 2016. The 13 revised full papers and one tool paper presented were carefully reviewed and selected from 26 submissions. They are dedicated to advance the state of the art and state of the practice in verification and testing and are discussing future directions of testing and verification for hardware, software, and complex hybrid systems.

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 Roderick Bloem, Eli Arbel
Language English
Binding Book - Paperback
Date of issue 2016
Number of pages 211
EAN 9783319490519
ISBN 3319490516
Libristo code 15194770
Publishers Springer International Publishing AG
Weight 3518
Dimensions 155 x 235 x 14

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Computing & Information Technology > Computer hardware > Network hardware
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Computing & Information Technology > Computer science > Artificial intelligence
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

Functionalization of CVD Graphene via electro-grafting for gas sensor Ghufran ur Rehman / Book Paperback
common.buy 47.18 € 92.28 лв
Let's Pretend Chefs Kitchen Roger Priddy / Book Hardback
common.buy 17.09 € 33.42 лв
Welcome to Paradise, Now Go to Hell Chas Smith / Book Paperback
common.buy 15.79 € 30.89 лв
The Last Town on Earth Thomas Mullen / Book Paperback
common.buy 14.96 € 29.27 лв
Student Solutions Manual to accompany Functions Modeling Change Eric Connally / Book Paperback
common.buy 92.81 € 181.53 лв
Top
The New Healthy Bread in Five Minutes a Day: Revised and Updated with New Recipes Jeff Hertzberg / Book Hardback
common.buy 31.95 € 62.50 лв
Thinline Bible-OE-Personal Size Kjver Whitaker House / Book Book
common.buy 42.99 € 84.07 лв
Nola the Nurse(R) & Friends Explore the Holi Fest Dr. Scharmaine L. Baker / Book Hardback
common.buy 16.57 € 32.41 лв
Industrial Process Scale-up Jan Harmsen / Book Paperback
common.buy 69.56 € 136.04 лв
Redefining Capitalism in Global Economic Development Kui-Wai Li / Book Paperback
common.buy 51.12 € 99.98 лв
Greyhound Nation Edmund Russell / Book Paperback
common.buy 35.27 € 68.98 лв
Narcocultura: A Threat to Mexican National Security Naval Postgraduate School / Book Paperback
common.buy 14.81 € 28.96 лв
A General History of the Pyrates Daniel Defoe / Book Paperback
common.buy 8.13 € 15.89 лв
History of the Coptic Church After Chalcedon (451-1300) Bishop Youanis / Book Paperback
common.buy 20.35 € 39.80 лв
Only the People Can Save the People Donald V. Kingsbury / Book Paperback
common.buy 41.69 € 81.54 лв
The Extraordinary Makeover: Hidden Expressions Of The Every Day Woman Lorie P Woodruff / Book Paperback
common.buy 15.79 € 30.89 лв
Miscreants The Hell's Gate Series Book 3 Jennifer Pierce-Gaeta / Book Paperback
common.buy 10.35 € 20.25 лв
Staying Human Neil Astley / Book Paperback
common.buy 14.86 € 29.06 лв
Investing for Beginners: Escape The 9-5 Rat Race Through Investing Sam Sutton / Book Paperback
common.buy 13.41 € 26.23 лв
Evelina's Garden (1899) Mary Eleanor Wilkins / Book Hardback
common.buy 37.34 € 73.03 лв
The Prophets Robert Jones Jr. / Book Paperback
common.buy 19.42 € 37.98 лв
Wild Guide Andalucia EDWINA PITCHER / Book Paperback
common.buy 21.54 € 42.13 лв
The Best American Poetry 2022 Matthew Zapruder / Book Paperback
common.buy 15.79 € 30.89 лв
First Steps in SDL Game Development Frahaan Hussain / Book Paperback
common.buy 27.91 € 54.59 лв

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?