Formal Modeling and Analysis of Timed Systems
Published on 4. September 2008
Book
Paperback/Softback
388 pages
978-3-540-84464-8 (ISBN)
More details
Language
English
Place of publication
United States
Product notice
Paperback (trade)
Unsewn / adhesive bound
Dimensions
Height: 156 mm
Width: 234 mm
Thickness: 20 mm
Weight
540 gr
ISBN-13
978-3-540-84464-8 (9783540844648)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.