Billede af bogens forside - Formal Modeling and Analysis of Timed Systems

Formal Modeling and Analysis of Timed Systems

af David Parker, m.fl.

Bog, Paperback, Engelsk, 2022

Priser fra 4 boghandlere

Bogdetaljer

  • SprogEngelsk
  • IndbindingPaperback
  • ISBN9783031158384
  • Udgivet29/08/2022
  • Udgivet afSpringer International Publishing
  • Længde324 sider
  • ForfattereDavid Parker, Sergiy Bogomolov
  • GenreBusiness og læring, Computer og IT