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
Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €
phone Contact phoneHow to shop

Hardware and Software: Verification and Testing

9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings

Language EnglishEnglish
Book Paperback
Book Hardware and Software: Verification and Testing Valeria Bertacco
Libristo code: 02152556
Publishers Springer International Publishing AG, October 2013
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conferenc... Full description
? points 132 b
53.79 € VAT included
In stock at our supplier Shipping in 5-8 days
Austria Delivery to Austria

30-day return policy

Customers also purchased

amore al tempo dei social Karin Anzai Book Book
common.buy 8.89 €
August und Elisabeth Macke Anna Luisa Walter / Book Paperback
common.buy 38.00 €
CONCERTI PER VL., ARCHI E B.C.: IN MI RV 267 VIOLON ANTONIO VIVALDI Book binding.
common.buy 25.69 €
Ściąga liceum, technikum Część 1 Antyk, Średniowiecze, Renesans, Barok, Oświecenie Zespół redakcyjny Wydawnictwa Greg / Book Paperback
common.buy 4.19 €
Wanderer zwischen Musik, Politik und Recht Becker / Book Hardback
common.buy 125.49 €
Gachiakuta. Крутые отбросы. Том 2 / Book Hardback
common.buy 28.19 €
Smradľavý útok Grázlika Gaba Francesca Simon / Book Paperback
common.buy 6.29 €
Ajedrez hipermoderno. Vol. I Ricardo Aguilera López / Book Paperback
common.buy 11.79 €
Les Meilleures Recettes Vegetariennes Du Monde Entier M. Ballero / Book Paperback
common.buy 9.89 €
hombre y el zorro Idries Shah / Book Paperback
common.buy 10.29 €
Eveliina von Waisin etiaiset Anneli Alatalo / Book Paperback
common.buy 25.29 €
Wupp geht um Martina Temming / Book Paperback
common.buy 9.90 €
Der Realitätenkellner Werner A. Leeb / Book Paperback
common.buy 39.00 €
Flottentelematik fur Transportdienstleister - E-Business-Loesung fur kleinst- bis mittlere Transport-Unternehmen Rüdiger Quietzsch / Book Paperback
common.buy 52.95 €
Tagbuch einer Reise in Inner-Arabien Julius Euting / Book Paperback
common.buy 34.90 €

This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction, and model presentation.

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 Valeria Bertacco, Axel Legay
Language English
Binding Book - Paperback
Date of issue 2013
Number of pages 366
EAN 9783319030760
ISBN 3319030760
Libristo code 02152556
Publishers Springer International Publishing AG
Weight 593
Dimensions 155 x 235 x 22

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

Drought Stress Tolerance in Plants, Vol 1 Hossain Mohammad Anwar / Book Hardback
common.buy 160.89 €
Handbook of Power Management Circuits Haruo Kobayashi / Book Hardback
common.buy 277.09 €
Biotechnology and the Challenge of Property NWABUEZE / Book Paperback
common.buy 79.89 €
Air Travel Claims in Australia and New Zealand Gary N Heilbronn / Book Paperback
common.buy 22.99 €
Rust + Moth: Winter 2017 Rust and Moth / Book Paperback
common.buy 7.99 €
Advances in Power Quality Jeremy Giamatti / Book Hardback
common.buy 81.79 €
Get Over Yourself! Jennifer Beckham / Book Paperback
common.buy 17.39 €
Protein Translation Eric Jan / Book Paperback
common.buy 65.89 €
Methods and Data in English Historical Dialectology Marina Dossena / Book Paperback
common.buy 142.59 €
Nginx Essentials Valery Kholodkov / Book Paperback
common.buy 41.69 €
Systematic Approach to Curriculum Planning Chipo Chirimuuta / Book Paperback
common.buy 54.99 €
Heartwood James Lee Burke / Book Paperback
common.buy 12.49 €
Solar Cells and Energy Materials Takeo Oku / Book Hardback
common.buy 103.39 €
Physical and Inorganic Chemistry J. Barthel / Book Paperback
common.buy 107.29 €
History and Biography T. C. W. BlanningDavid Cannadine / Book Hardback
common.buy 131.79 €
Cooking With Healing Mushrooms Stepfanie Romine / E-book Adobe ePub DRM
common.buy 13.99 €

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?