Using Runtime Analysis to Guide Model Checking of Java Programs
Published on 6. August 2013
Book
Paperback/Softback
978-1-289-27712-3 (ISBN)
More details
Language
English
Place of publication
United States
Product notice
Paperback (trade)
Unsewn / adhesive bound
Illustrations
black & white illustrations
Dimensions
Height: 246 mm
Width: 189 mm
Thickness: 1 mm
Weight
64 gr
ISBN-13
978-1-289-27712-3 (9781289277123)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification