• 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 Väljamüük

Meil on laos

📦 Šios prekės gali nebūti sandėlyje.
Prieš perkant parašykite mums, kad patikslintume: info@bookshop.lt 💜

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