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 point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 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 International Publishing AG
SKU: 18257956
Price: 20251 HUF
Availability: InStock
Author: Ofer Strichman
ISBN: 9783319703886

Ofer Strichman

Rachel Tzoref-Brill

Language

English

Book Paperback

Libristo code: 18257956

Publishers Springer International Publishing AG, November 2017

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conferen... Full description

Libristo code: 18257956

136 b

20 251 Ft

In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

KBGG | Kinderbetreuungsgeldgesetz und Familienzeitbonusgesetz Martin Sonntag

Paperback

21 324 Ft

Revista mongolia 113 septiembre 2022

Paperback

2 136 Ft

Machinisme et bricolages Anne-Marie Guenin

Adobe ePub DRM

8 923 Ft

The Charm Offensive - Sármháború Alison Cochrun

Hardback

4 155 Ft

TUNELES 2 PROFUNDIDADES GORDON

Hardback

1 750 Ft

Láska zrozená ve lži Lexi Ryanová

Hardback

5 893 Ft

Ptáčci - karetní hra David Spada

Cards

6 897 Ft

Mathematik heute - Ausgabe 2012 für Niedersachsen Rudolf Vom Hofe

Sheet

4 583 Ft

Trame d'argento Patricia Logan

Paperback

6 852 Ft

Palabras en mis manos María Porras Sánchez

Paperback

9 641 Ft

Krysař Radek Malý

Hardback

3 535 Ft

444 Alina Rubi

Paperback

9 087 Ft

de la Salubrite Dans Limoges Et Dans Les Environs de Cette Ville LARUE-DUBARRY-J

Paperback

6 042 Ft

Teología pública: Una voz para la Iglesia en sociedades plurales Villagrán Medina

Paperback

7 564 Ft

Schwert Der Skythen Und Sarmaten in Sudrussland Waldemar Ginters

Hardback

46 622 Ft

Der Adler mit der Frau im Herzen Cornelius Bormann

Hardback

9 132 Ft

Psicología del amor : el crecimiento personal en la relación de pareja Jürg Willi

Paperback

4 044 Ft

Leyendas celtas en la literatura irlandesa Ramón Sainero Sánchez

Paperback

6 210 Ft

Campos Electromagneticos y Voltajes Inducidos Por Rayos En Edificios Johnatan Mauricio Rodríguez Serna

Paperback

54 740 Ft

Hunter X Hunter 18 Yoshihiro Togashi

Paperback

3 031 Ft

Dinamica atmosferica y los procesos tormentosos severos Raúl César Pérez

Paperback

13 759 Ft

Caroline Perthes, Geb. Claudius Martin Gottlieb Wilhelm Brandt

Hardback

12 311 Ft

Neue Medien im Marketing von professionellen Fußball Vereinen Torben Keuler

Paperback

17 952 Ft

Mutlu Yasama Sanati Josef Kirschner

Paperback

6 701 Ft

This book constitutes the refereed proceedings of the 13th International Haifa Verification Conference, HVC 2017, held in Haifa, Israel in November 2017. The 13 revised full papers presented together with 4 poster and 5 tool demo papers were carefully reviewed and selected from 45 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.