ISBN 9783540857778,Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

Rs3797 Rs5424 30% OFF

Availability: Available

Usually ships in: 2-3 business days

(Free Delivery)

We Accept
ISBN 9783540857778
Check delivery information
 
ISBN 9783540857778
Publisher

Ingram Publisher Services

Publication Year 2008
ISBN-13

ISBN 9783540857778

ISBN-10 354085777X
Binding

Paperback

Number of Pages 314 Pages
Subject

Algorithms & data structures

Includes the refereed proceedings of the 6th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2008, held in Saint Malo, France, September 2008. This book contains 17 papers that were presented together with 3 invited talks and selected from 37 submissions.
Scroll