Vi bøger
Levering: 1 - 2 hverdage

From Reactive Systems to Cyber-Physical Systems - Bog

- Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday

Bag om From Reactive Systems to Cyber-Physical Systems

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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9783030315139
  • Indbinding:
  • Paperback
  • Sideantal:
  • 301
  • Udgivet:
  • 21. September 2019
  • Udgave:
  • 12019
  • Størrelse:
  • 155x235x0 mm.
  • Vægt:
  • 492 g.
  • 8-11 hverdage.
  • 23. Oktober 2024
På lager

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Beskrivelse af From Reactive Systems to Cyber-Physical Systems

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.

Brugerbedømmelser af From Reactive Systems to Cyber-Physical Systems



Find lignende bøger
Bogen From Reactive Systems to Cyber-Physical Systems findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.