Abstraction, Refinement and Proof for Probabilistic Systems
Published on 15. February 2009
Book
Hardback
436 pages
978-0-387-51609-7 (ISBN)
More details
Series
Edition
New ed.
Language
English
Place of publication
Germany
Product notice
sewn/stitched
Cloth over boards
Dimensions
Height: 156 mm
Width: 234 mm
Thickness: 21 mm
Weight
562 gr
ISBN-13
978-0-387-51609-7 (9780387516097)
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