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 €
DPD courier 5.99 € Bpost point 7.99 € Bpost 7.49 € DPD point 3.49 € GLS courier 4.49 €
phone Contact phoneHow to shop
Free delivery for orders over 69.99 euro.

Hardware and Software: Verification and Testing

5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers

Language EnglishEnglish
Book Paperback
Book Hardware and Software: Verification and Testing Kedar Namjoshi
Libristo code: 01657444
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2011
This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verifi... Full description
? points 141 b
58.53 €
Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

Praparationsmethodik in Der Elektronenmikroskopie David G. Robinson / Book Paperback
common.buy 75.45 €
Methoden zur Bewertung von Kraftfahrzeugscheinwerfern Thomas Dahlem / Book Paperback
common.buy 58.94 €
Segregator A4 Bantex PP XXL 8cm niebieski / Book binding.
common.buy 2.93 €
A Paranormal Evening With The Moonflower Society Avantasia / Audio Audio CD
common.buy 95.70 €
Denkriesen - Stadt Land Vollpfosten® - School Edition Ricardo Barreto / Game/Toy Game
common.buy 12.95 €
Je zygota lidskou osobou? Pascal Ide / Book Paperback
common.buy 7.18 €
Phraseologisches Übersetzungswörterbuch Deutsch-Serbisch/Serbisch-Deutsch Prevodni frazeoloSki recnik Nemacko-srpski/Srpsko-nemacki Nikola Vujcic / Book Paperback
common.buy 64.20 €
Au dodo, p'tit loup ! Lallemand / Book Hardback
common.buy 22.47 €
Souvenirs Atlantiques: Voyage Aux États-Unis Et Au Canada; Volume 1 Theodore Marie Pavie / Book Hardback
common.buy 36.45 €
Mein Zweisprachiges Aufdeckspiel, Obst und Gemüse, Russisch Tolga Celik / Game/Toy Game
common.buy 14.68 €
Handbuch Dieselmotoren im Kraftwerks- und Schiffsbetrieb Günter Mau / Book Paperback
common.buy 81.93 €
Poemas para barrocos Cristina Daneri Ferrari / Book Paperback
common.buy 17.21 €

This book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).

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 Kedar Namjoshi, Andreas Zeller, Avi Ziv
Language English
Binding Book - Paperback
Date of issue 2011
Number of pages 169
EAN 9783642192364
ISBN 364219236X
Libristo code 01657444
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 273
Dimensions 155 x 235 x 15

Categories

Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
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 > 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

Enabling Flexibility in Process-Aware Information Systems Manfred Reichert / Book Hardback
common.buy 51.75 €
Exploring Public-Private Partnerships in Singapore Kim / Book Hardback
common.buy 77.37 €
Diabolically Detailed Coloring Book (Volume 10) H R Wallace Publishing / Book Paperback
common.buy 8.60 €
Seven Imperfect Rules of Elvira Carr Frances Maynard / Book Paperback
common.buy 11.84 €
Hints to an Inquirer on the Subject of Baptism PARSONS COOKE / Book Paperback
common.buy 22.07 €
Ministry of Fine Art to the Happiness of Life Parry Thomas Gambier Parry / Book Paperback
common.buy 27.74 €
Power Of Your Subconscious Mind (revised) Joseph Murphy/ Revised By Ian McMahan / Book Paperback
common.buy 9.71 €
Top
Dracopedia Field Guide William O'Connor / Book Hardback
common.buy 22.17 €
Slumber Party Sparkles Jojo Siwa / Book Paperback
common.buy 8.40 €
I Want a Boyfriend! Tony Ross / Book Paperback
common.buy 8.90 €
Advanced Mobile Robotics Daeeun Kim / Book Paperback
common.buy 87.09 €
The Patchouli in perfumery Le collectif nez / Book Paperback
common.buy 21.77 €
Top
Brain Games - Sticker by Number - Vintage: Flowers (28 Images to Sticker) New Seasons / Book Paperback
common.buy 13.26 €
Top
Powerless Lauren Roberts / Book Paperback
common.buy 9.11 €
Ultimate Guide to Sewing Machine Feet Shelley Scott-Tobisch / Book Paperback
common.buy 22.37 €
Exploring Sinophone Liminality in Contemporary Chinese Fiction Chao / Book Hardback
common.buy 209.34 €
Illustrated Encyclopaedic Medical Dictionary Frank Pierce Foster / Book Hardback
common.buy 45.87 €
Road to Mound Grove Betty B Cantwell / Book Paperback
common.buy 16.30 €
Top
Go Programming Language, The Alan Donovan / Book Paperback
common.buy 40.20 €
Combinatory Linguistics Cem Bozsahin / Book Hardback
common.buy 144.12 €
Low-Power Crystal and MEMS Oscillators Eric Vittoz / Book Hardback
common.buy 222.20 €
Top
The Adhd Effect on Marriage Melissa Orlov / Book Paperback
common.buy 17.21 €
Naples and Napoleon John A. Davis / Book Hardback
common.buy 235.98 €

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?