Publisher's Synopsis
Formal Modeling and Analysis of Timed Systems
Paperback (23 Sep 2012)
Not available for sale
Includes delivery to the United States
Out of stock
Formal Modeling and Analysis of Timed Systems
ISBN: | 9783642333668 |
Publisher: | Springer Nature B.V. |
Imprint: | Springer Nature B.V. |
Pub date: | 23 Sep 2012 |
Language: | English |
Number of pages: | 280 |
Weight: | 397g |
Height: | 234mm |
Width: | 156mm |