Abstraction Refinement for Large Scale Model Checking
Published on 30. August 2008
Book
Hardback
612 pages
978-0-387-51390-4 (ISBN)
More details
Language
English
Place of publication
Germany
Product notice
sewn/stitched
Cloth over boards
Dimensions
Height: 156 mm
Width: 234 mm
Thickness: 11 mm
Weight
286 gr
ISBN-13
978-0-387-51390-4 (9780387513904)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification