• Book cover of: Formal Modeling and Analysis of Timed Systems. By: Sriram Sankaranarayanan

Formal Modeling and Analysis of Timed Systems

Sriram Sankaranarayanan

€54,55
€54,55 €56,24 Sale
Tax included. Shipping calculated at checkout.

In stock
Leidimo metai 2015 m.
Puslapių skč. 321 psl.
Viršelis Minkštas viršelis
ISBN 9783319229744
Leidimas 1st ed. 2015

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems by Sriram Sankaranarayanan, Enrico Vicario.

Published by Springer, (2015), Paperback, 321 pages.

Topics: Computer simulation, System analysis.

Book cover of: Formal Modeling and Analysis of Timed Systems. By: Sriram Sankaranarayanan

Formal Modeling and Analysis of Timed...

€54,55
€54,55 €56,24