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 FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 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: 01569878
Price: 21304 HUF
Availability: InStock
Author: Karen Yorav
ISBN: 9783540779643

Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007, Proceedings

Karen Yorav

Language

English

Book Paperback

Libristo code: 01569878

Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, February 2008

This book constitutes the thoroughly refereed post-conference proceedings of the Third International... Full description

Libristo code: 01569878

145 b

21 304 Ft

Low in stock at our supplier Shipping in 13-18 days

30-day return policy

Customers also purchased

La esforzada reelaboración del saber : repertorios médicos de interés lexicográfico anteriores a la imprenta Bertha M. Gutiérrez Rodilla

Paperback

9 407 Ft

Espacio público y espacio privado

Paperback

8 028 Ft

Trois Livres Des Offices de France. Livre 3 Girard-E

Paperback

21 235 Ft

Ostwind 06 - Der große Orkan Lea Schmidbauer

Hardback

5 109 Ft

amerikanische Kino in Zeiten politischer Verfolgung Viktor Gasic

Paperback

9 727 Ft

Žiješ jenom dvakrát Dominik Dán

Hardback

4 433 Ft

Diktat-Stars - Allgemeine Ausgabe - 3. Schuljahr Maria Auer

Sheet

3 420 Ft

Augenblicke des Daseins. Autobiographische Skizzen Virginia Woolf

Hardback

8 773 Ft

Au nom de tous nos dieux Deloges

Paperback

9 421 Ft

This book constitutes the thoroughly refereed post-conference proceedings of the Third International Haifa Verification Conference, HVC 2007, held in Haifa, Israel, in October 2007.§The 15 revised full papers presented together with 4 invited lectures were carefully reviewed and selected from 32 submissions. The papers are organized in topical tracks on hardware verification, model checking, dynamic hardware verification, merging formal and testing, formal verification for software and software testing.