Logical Foundations of Cyber-Physical Systems (eBook, PDF)
André Platzer
eBook, PDF

Logical Foundations of Cyber-Physical Systems (eBook, PDF)

Versandkostenfrei!
Sofort per Download lieferbar
40,95 €
inkl. MwSt.
Alle Infos zum eBook verschenken
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

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.