
Logical Foundations of Cyber-Physical Systems (eBook, PDF)
Versandkostenfrei!
Sofort per Download lieferbar
40,95 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
Supported with detailed lecture notes, lecture videos, homework assignments, and lab assignments
Cornerstone of author's course is hybrid programs (HPs), capturing dynamical aspects of cyber-physical systems (CPSs) in a simple programming language
Teaches skills required to formally analyze ubiquitous CPSs, such as power plants and pacemakers
Cornerstone of author's course is hybrid programs (HPs), capturing dynamical aspects of cyber-physical systems (CPSs) in a simple programming language
Teaches skills required to formally analyze ubiquitous CPSs, such as power plants and pacemakers
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.