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

Formal Modeling and Analysis of Timed Systems

Sriram Sankaranarayanan

238,00 zł
238,00 zł 246,00 zł Sprzedaż

Mamy to na stanie

📦 Atsiprašome, prekės neturime sandėlyje, bet greitai atsiras!
Užsisakykite el. pranešimą ir informuosime jus iškart, kai prekę turėsime. Arba rezervuokite užsakydami dabar.
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...

238,00 zł
238,00 zł 246,00 zł