Delivery included to the United States

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

Paperback (22 Aug 2016)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Publisher's Synopsis

Formal Modeling and Analysis of Timed Systems

Book information

ISBN: 9783319448794
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: English
Number of pages: 260
Weight: 370g
Height: 234mm
Width: 156mm