Delivery included to the United States

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems 18th International Conference, FORMATS 2020, Vienna, Austria, September 1-3, 2020, Proceedings

Paperback (21 Aug 2020) | German

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: 9783030576295
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: German
Number of pages: 312
Weight: 440g
Height: 234mm
Width: 156mm