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 19 990 Ft
DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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 145 b
21 201 Ft
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

As designacoes toponimicas em Terras do sem fim, de Jorge Amado Ribeiro De Queiroz Rita De Cassia / Book Paperback
common.buy 9 841 Ft
Coming soon
Le sexe polémique - Quand la paranoïa s'empare des campus américains Kipnis / Book Paperback
common.buy 9 740 Ft
żQué es la ilustración? / What is Enlightenment? Immanuel Kant / Book Paperback
common.buy 5 724 Ft
Mustangs Bousquet / Book Paperback
common.buy 6 033 Ft
Algebre N. Bourbaki / Book Paperback
common.buy 21 201 Ft
Pilates Anatomie Rael Isacowitz / Book Paperback
common.buy 9 026 Ft
Gottfried Achenwall, Ius naturae in usum auditorum Alexander Aichele / Book Hardback
common.buy 93 707 Ft
Un bateau pour l'enfer Gilbert Sinoué / Book Paperback
common.buy 4 412 Ft
Cahier d'exercices Pose tes limites, trouve la paix Nedra Glover Tawwab / Book Paperback
common.buy 8 105 Ft
Comunicación oral y escrita en la empresa Ricardo Herrero Domingo / Book Paperback
common.buy 5 171 Ft
Passiflora Bettina Ulmer / Book Paperback
common.buy 5 259 Ft
Wprowadzenie do siatki Bhasker Dr Rajnish Bhasker / Book Paperback
common.buy 13 783 Ft
Els Nostres Disla Sanz / Book Paperback
common.buy 5 503 Ft
Ab durch die Hecke, 1 DVD Tim Johnson / Video DVD
common.buy 4 660 Ft
Lektury - liceum i technikum -epika Sylwia Oszczyk / Book Paperback
common.buy 6 175 Ft
Mosaik Sammelband - Die Fahrt nach Karnak Klaus D. Schleiter / Book Paperback
common.buy 5 577 Ft
Beitrage Zur Feineren Anatomie Der Medulla Oblongata Und Der Brucke (1894) August Cramer / Book Paperback
common.buy 8 441 Ft
Ofertas gastronómicas sencillas y sistemas de aprovisionamiento : gestión de modelos de restauración Irene Magdalena Fernández / Book Paperback
common.buy 9 362 Ft
Técnico en Farmacia del Servicio Andaluz de Salud. Temario específico. Editores / Book Paperback
common.buy 17 098 Ft
Friedrich Schiller Peter-André Alt / Book Paperback
common.buy 3 477 Ft
Echo Terry Moore / Book Paperback
common.buy 6 613 Ft
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 15 289 Ft
Pronostic Et Traitement de l'Epilepsie, Succes Remarquables LEGRAND DU SAULLE-H / Book Paperback
common.buy 5 199 Ft

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 17 978 Ft
Only the People Can Save the People Donald V. Kingsbury / Book Paperback
common.buy 14 031 Ft
The Last Town on Earth Thomas Mullen / Book Paperback
common.buy 5 153 Ft
Coming soon
Student Solutions Manual to accompany Functions Modeling Change Eric Connally / Book Paperback
common.buy 22 956 Ft
The New Healthy Bread in Five Minutes a Day: Revised and Updated with New Recipes Jeff Hertzberg / Book Hardback
common.buy 10 997 Ft
Thinline Bible-OE-Personal Size Kjver Whitaker House / Book Book
common.buy 15 464 Ft
Nola the Nurse(R) & Friends Explore the Holi Fest Dr. Scharmaine L. Baker / Book Hardback
common.buy 6 309 Ft
Redefining Capitalism in Global Economic Development Kui-Wai Li / Book Paperback
common.buy 20 897 Ft
Greyhound Nation Edmund Russell / Book Paperback
common.buy 13 364 Ft
Narcocultura: A Threat to Mexican National Security Naval Postgraduate School / Book Paperback
common.buy 5 650 Ft
Let's Pretend Chefs Kitchen Roger Priddy / Book Hardback
common.buy 6 046 Ft
Tale of Two Cities Charles Dickens / Book Paperback
common.buy 3 283 Ft
The Extraordinary Makeover: Hidden Expressions Of The Every Day Woman Lorie P Woodruff / Book Paperback
common.buy 6 148 Ft
Miscreants The Hell's Gate Series Book 3 Jennifer Pierce-Gaeta / Book Paperback
common.buy 3 942 Ft
Staying Human Neil Astley / Book Paperback
common.buy 5 259 Ft
Investing for Beginners: Escape The 9-5 Rat Race Through Investing Sam Sutton / Book Paperback
common.buy 5 125 Ft
Evelina's Garden (1899) Mary Eleanor Wilkins / Book Hardback
common.buy 14 193 Ft
The Prophets Robert Jones Jr. / Book Paperback
common.buy 6 544 Ft
Wild Guide Andalucia EDWINA PITCHER / Book Paperback
common.buy 8 132 Ft
The Best American Poetry 2022 Matthew Zapruder / Book Paperback
common.buy 6 148 Ft
First Steps in SDL Game Development Frahaan Hussain / Book Paperback
common.buy 10 614 Ft
BTS ZAMBELLO FILIPPO / Book Hardback
common.buy 5 563 Ft
New
Henry VI, Part II William Shakespeare / Book Paperback
common.buy 3 283 Ft
Dictionary Of The Choctaw Language Cyrus Byington / Book Paperback
common.buy 15 611 Ft

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?