Rance Cleaveland - Böcker
Visar alla böcker från författaren Rance Cleaveland. Handla med fri frakt och snabb leverans.
1 produkt
1 produkt
Del 11500 - Lecture Notes in Computer Science
From Reactive Systems to Cyber-Physical Systems
Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday
Häftad, Engelska, 2019
552 kr
Skickas inom 10-15 vardagar
The contributions cover a wide spectrum of the topics related to Scott's research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.