Skip to main content

CURRENTLY SOLD OUT

Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers by Kerstin Eder, Joao Louren o, Onn Shehory (Paperback, 2012)

About this product

About this product

Product Information

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.

Product Identifiers

Publisher
Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
ISBN-10
364234187x
ISBN-13
9783642341878
eBay Product ID (ePID)
129262243

Product Key Features

Author
Kerstin Eder, Joao Louren O, Onn Shehory
Publication Name
Hardware and Software: Verification and Testing: 7th International Haifa Verification Conference, HVC 2011, Haifa, Israel, December 6-8, 2011, Revised Selected Papers
Format
Trade Paperback (US), Paperback
Language
English
Subject
Computer Science, Computing: Professional & Programming
Publication Year
2012
Type
Textbook
Number of Pages
263 Pages

Dimensions

Item Height
235mm
Item Width
155mm
Volume
7261
Item Weight
427g

Additional Product Features

Series Title
Lecture Notes in Computer Science
Editor
Onn Shehory, Kerstin Eder, Joao Louren O
Country/Region of Manufacture
Germany

Best Selling in Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Adult Learning & University

Australian Guidebook for Structural Engineers by Lonnie Pack (Paperback, 2019)
No ratings or reviews yet.
AU $102.95 New
---- Used
Eduqas GCSE (9-1) Religious Studies Route B: Catholic Christianity and Judaism by Deirdre Cleary, Andrew Barron, Joy White, Patrick Harrison (Paperback, 2017)
No ratings or reviews yet.
AU $100.97 New
---- Used
Time Management by Peter Quarry (Paperback, 1986)
No ratings or reviews yet.
AU $16.99 New
---- Used
The Ethnic Cleansing of Palestine by Ilan Pappe (Paperback, 2007)
5.0 out of 5 stars based on 1 product rating
AU $24.95 New
---- Used

Save on Adult Learning & University

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Adult Learning & University

The Australian Native Bee Hive Book: Keeping Stingless Sugarbag OATH Tim Heard
AU $31.98
Trending at AU $35.57
Weed Forager's Handbook: A Guide to Edible and Medicinal Weeds in Australia by A
AU $19.95
Trending at AU $20.66
Netter Atlas of Human Anatomy: Classic Regional Approach
AU $113.94
Trending at AU $122.14
NEW The Red Book By Carl Jung Hardcover Free Shipping
AU $322.60
Trending at AU $335.56
The Indoctrinated Brain: How to Successfully Fend Off the Global Attack on Your
AU $49.95
Trending at AU $57.84
Classical Mechanics: The Theoretical Minimum by George Hrabovsky
AU $27.46
Trending at AU $31.59

You may also like

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- You may also like