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

Formal Modeling and Analysis of Timed Systems

Alessandro Abate

245,00 zł
245,00 zł 254,00 zł Sprzedaż

Mamy to na stanie

Prekės šiuo metu neturime
Palikite el. paštą ir pranešime iškart, kai prekė vėl atsiras sandėlyje.
Autorius Alessandro Abate
Kalba Anglų k.
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...

245,00 zł
245,00 zł 254,00 zł