Publisher's Synopsis
Formal Modeling and Analysis of Timed Systems
Paperback (21 Aug 2020) | German
Not available for sale
Out of stock
Formal Modeling and Analysis of Timed Systems
ISBN: | 9783030576295 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 21 Aug 2020 |
Language: | German |
Number of pages: | 312 |
Weight: | 440g |
Height: | 234mm |
Width: | 156mm |