• Book cover of: Formal Modeling and Analysis of Timed Systems. By: Alessandro Abate

Formal Modeling and Analysis of Timed Systems

Alessandro Abate

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

In stock
Autorius Alessandro Abate
Leidimo metai 2017 m.
Puslapių skč. 353 psl.
Viršelis Minkštas viršelis
ISBN 9783319657646
Leidimas 2017 ed.

Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems by Alessandro Abate, Gilles Geeraerts.

Published by Springer, (2017), Paperback, 353 pages.

Topics: Computer simulation, System analysis.

Book cover of: Formal Modeling and Analysis of Timed Systems. By: Alessandro Abate

Formal Modeling and Analysis of Timed...

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