Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

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

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 GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Hardware and Software: Verification and Testing

Name: Hardware and Software: Verification and Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657535
Price: 19902 HUF
Availability: InStock
Author: Sharon Barner
ISBN: 9783642195822

6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers

Language

English

Book Paperback

Libristo code: 01657535

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, March 2011

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International H... Full description

Libristo code: 01657535

136 b

19 902 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

Recht und Politik globaler Sicherheit Andreas Fischer-Lescano

Paperback

17 531 Ft

Ženich new

Toy

3 531 Ft

Wege zur Strafvollzugsreform. Heinz Müller-Dietz

Paperback

15 243 Ft

100 samolepek Tlapková patrola

Paperback

1 262 Ft

Vokabelrätsel Ukrainisch-Deutsch Igor Jourist

Paperback

2 316 Ft

Mundus Symbolicus In Emblematum Universitate Formatus, Explicatus Et Tam Sacris, Quam Profanis Eruditionibus As Sententiis Illustratus ...... Filippo Picinelli ((C.R.L.))

Paperback

12 826 Ft

Esqueletos no Armário - Memórias do Filho de um Pastor.- 2?. Ediç?o. Domingo González Jr. Domingo Gonzalez

Paperback

3 795 Ft

One Piece - Law (Nippon Novel) Eiichiro Oda

Paperback

3 545 Ft

Droit constitutionnel de la Ve République Chabrier Book

Paperback

10 598 Ft

Geschichte der Verfassung der roemischen Republik Nepomuk Fischer

Paperback

6 272 Ft

Kerbschnitzen Christian Zeppetzauer

Hardback

7 432 Ft

Programa de tutorías: ¿varita mágica o dispositivo institucional? Paola Yanina Fascendini

Paperback

12 793 Ft

Patte de Velours Osiris Brackhaus

Paperback

6 036 Ft

Cochlea-Implantat - mit dem CI leben, hören und sprechen Dorothea Senf

Paperback

3 369 Ft

Radwander- und Wanderkarte Naturpark Unteres Saaletal, Bernburg, Calbe, Köthen und Umgebung Verlag Dr. Barthel

Map

2 551 Ft

Filmdidaktik im Deutschunterricht. Zwischen filmischer und literarischer Lekture Alexander Bauerkamper

Paperback

5 597 Ft

Mise En Place de Corridors Biologiques Dans Le Scot Flandre-Dunkerque Lemille-M

Paperback

21 399 Ft

Estudios en laboratorio de hemostasia en neonatología y obstetricia Diana Noemí García

Paperback

8 324 Ft

La Barcelona rebelde : guía de una ciudad silenciada Anónimo

Paperback

9 951 Ft

Ciencias sociales, geografía e historia en Secundaria Carmen Llopis

Paperback

8 574 Ft

Die Mathe-Merk-Mappe Klasse 8 Renate Bahrenberg

Paperback

3 545 Ft

This book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010.§The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.