Delivery included to the United States

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems 20th International Conference, FORMATS 2022, Warsaw, Poland, September 13-15, 2022, Proceedings

Paperback (29 Aug 2022)

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 (29 Aug 2022) RRP $69.38 $60.58

Publisher's Synopsis

Formal Modeling and Analysis of Timed Systems

Book information

ISBN: 9783031158407
Publisher: Springer Nature B.V.
Imprint: Springer Nature B.V.
Pub date:
Language: English
Number of pages: 324
Weight: 457g
Height: 234mm
Width: 156mm