Delivery included to the United States

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems 16th International Conference, FORMATS 2018, Beijing, China, September 4-6, 2018, Proceedings

Paperback (29 Aug 2018) | German

Not available for sale

Out of stock

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

Other formats & editions

New
Paperback (26 Aug 2018) RRP $62.44 $55.03

Publisher's Synopsis

Formal Modeling and Analysis of Timed Systems

Book information

ISBN: 9783030001520
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: German
Number of pages: 300
Weight: 425g
Height: 234mm
Width: 156mm