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
DPD courier 4.99 € GLS courier 9.99 €
phone Contact phoneHow to shop

Hardware and Software: Verification and Testing

8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Hardware and Software: Verification and Testing Armin Biere
Libristo code: 01664050
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, June 2013
This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verificatio... Full description
? points 115 b
47.47 €
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Harry Potter: Vánoce v Bradavicích Joanne K. Rowling / Book Hardback
common.buy 16.26 €
101 vecí na hľadanie a nalepovanie Rozprávkové bytosti / Book Paperback
common.buy 3.93 €
Heilige Maria, Mutter Gottes / Book Sheet
common.buy 4.03 €
Die Umsetzung des NCV-Programms am Tshwane North FET College Kaizer Raseane Makole / Book Paperback
common.buy 48.89 €
Schody do nebe Lorna Byrneová / Book Hardback
common.buy 9.69 €
Philologus / Book Hardback
common.buy 106.48 €
Gra Szacho-warcaby 31 / Book binding.
common.buy 35.76 €
??????????? ???? ?????? ????????? ????? ?????????? Neil King / E-book Adobe ePub DRM
common.buy 7.97 €
Praxeologie der Moderne Gunnar Skirbekk / Book Paperback
common.buy 45.45 €
Tintin c'est l'aventure n°24 - Belgique - Offre Jumelée / Book Paperback
common.buy 29.79 €
Marmorpalais im Neuen Garten der Stiftung Preußischer Schlösser und Gärten Berlin-Brandenburg / Book Paperback
common.buy 6.96 €
Tumeurs malignes rares Jean-Pierre Droz / Book Hardback
common.buy 167.30 €
Geschichte der jungen Renate Fuchs Jakob Wassermann / Book Paperback
common.buy 8.98 €
Frauen- und Kinderarbeit in der Zeit der Industrialisierung Viktoria Lehner / Book Paperback
common.buy 14.44 €
MÁS ALLÁ DEL LÍMITE SIMONE ELKELES / Book Paperback
common.buy 8.38 €
Problem der demokratischen Legitimation in foederalen Systemen Julia Schoeppenthau / Book Paperback
common.buy 16.16 €
Odisea / The Odyssey HOMERO / Book Paperback
common.buy 11.10 €
20TH CENTURY ITALIAN COMPOSERS PIANO ALFONSO ALBERTI Book binding.
common.buy 28.18 €
Puissances de l'imagination : Malebranche, De l'imagination, Cervantès, Don Quichotte, Proust, Un amour de Swann Anglard / Book Paperback
common.buy 23.43 €
CHAGALL, MODIGLIANI, SOUTINE... PARIS POUR ECOLE, 1905-1940 Book Book
common.buy 31.01 €
LE DEFI DES DRUIDES BRISOU-PELLEN / Book Paperback
common.buy 13.12 €
L'année de la grande section 5-6ans - Tout pour réussir en maternelle Ginette Grandcoin-Joly / Book Paperback
common.buy 11.31 €
Dalmatien - 1.000 Teile (Puzzle) / Game/Toy Game
common.buy 31.51 €
MI PRIMER IMAGINARIO DE DINOSAURIOS LAURE DU FAY / Book Paperback
common.buy 16.86 €

This book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the 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 Armin Biere, Amir Nahir, Tanja Vos
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 281
EAN 9783642396106
ISBN 3642396100
Libristo code 01664050
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 456
Dimensions 155 x 235 x 19

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
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

Numerical Treatment of Multiphase Flows in Porous Media Zhangxin Chen / Book Hardback
common.buy 114.36 €
Top
Aristotle and Dante Collection (Boxed Set) Benjamin Alire Sáenz / Book Hardback
common.buy 31.21 €
Rethinking Genesis 1-11 Gordon J. Wenham / Book Hardback
common.buy 26.06 €
Oxford Primary Illustrated Maths Dictionary / Book Paperback
common.buy 10.80 €
Top
The 5 Am Club: Own Your Morning. Elevate Your Life. Robin Sharma / Book Hardback
common.buy 20.90 €
Defects in HIgh-k Gate Dielectric Stacks Evgeni Gusev / Book Hardback
common.buy 205.49 €
Draw and Color Your Dragon JOHN SMITH / Book Paperback
common.buy 18.07 €
In the Heights LIN-MANUEL MIRANDA / Book Hardback
common.buy 30.70 €
Children of Jocasta Natalie Haynes / Book Paperback
common.buy 9.69 €
Rocket Science Alan McFadzean / Book Paperback
common.buy 36.26 €
Top
Attack on Titan Omnibus 2 (Vol. 4-6) Hajime Isayama / Book Paperback
common.buy 14.44 €
Donbas Conflict in Ukraine Daria Platonova / Book Hardback
common.buy 208.82 €
Life's Edge Carl Zimmer / Book Paperback
common.buy 14.24 €
This Is Me (from the Greatest Showman) Justin Paul / Book Paperback
common.buy 5.55 €
Of Ancients Unbound T.C. Edge / Book Paperback
common.buy 25.05 €
World Literature Klaudia Hiu Yen Lee / Book Hardback
common.buy 208.82 €
Dark Waters Jason Wright / E-book Adobe ePub DRM
common.buy 3.32 €
Hypertension and Stroke Venkatesh Aiyagari / Book Paperback
common.buy 200.94 €
Dionysius of Halicarnasssus W. Rhys Roberts / Book Paperback
common.buy 48.08 €
Beginning Human Rights Law Howard Davis / Book Paperback
common.buy 62.93 €
Top
Basic Economics Thomas Sowell / Book Hardback
common.buy 33.43 €
Top
Green Lantern by Geoff Johns Omnibus Vol. 1 Geoff Johns / Book Hardback
common.buy 89.91 €
Cognitive Linguistics EVANS VYVYAN / Book Hardback
common.buy 163.96 €
Top
Accessing the Healing Power of the Vagus Nerve Stanley Rosenberg / Book Paperback
common.buy 20.80 €

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?