Hardware and Software: Verification and Testing : 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers

Name: Hardware and Software: Verification and Testing
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 9783642341878
Price: 7550 KES
Availability: OutOfStock
ISBN: 9783642341878

2012 ed.

Book Details

Format Paperback / softback

Book Series Lecture Notes in Computer Science

ISBN-10 364234187X

ISBN-13 9783642341878

Edition 2012 ed.

Publisher Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Imprint Springer-Verlag Berlin and Heidelberg GmbH & Co. K

Country of Manufacture DE

Country of Publication GB

Publication Date Oct 9th, 2012

Print length 263 Pages

Product Classification: Compilers Compilers and interpreters Software Engineering Mathematical theory of computation Artificial intelligence Artificial intelligence (AI)

KSh 7,550.00

Currently unavailable 0 in stock

Delivery Location

County

Location

Delivery fee: Select location

Secure

Quality

Fast

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Haifa Verification Conference, HVC 2011, held in Haifa, Israel in December 2011. The 15 revised full papers presented together with 3 tool papers and 4 posters were carefully reviewed and selected from 43 submissions. The papers are organized in topical sections on synthesis, formal verification, software quality, testing and coverage, experience and tools, and posters- student event.

Get Hardware and Software: Verification and Testing by Joao Louren?o at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG and it has 263 pages.