Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Hardback version af SCCharts - Language and Interactive Incremental Compilation af Christian Motika

SCCharts - Language and Interactive Incremental Compilation

- Motika, C: SCCharts - Language and Interactive Incremental C

Bog
  • Format
  • Bog, hardback
  • Engelsk
  • 484 sider

Normalpris

kr. 569,95

Medlemspris

kr. 514,95
  • Du sparer kr. 55,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

Safety-critical systems are a subclass of reactive systems, a dominating class of computer systems. Such systems control airbags in cars, flaps of aircrafts, or pace makers. Software for these systems must be reliable. Hence, a language and tooling is needed that allows to build and maintain reliable software models. Furthermore, a reliable compiler is required to obtain decent machine-understandable and executable code from highly abstract models.

This thesis presents SCCharts, a Statecharts-based visual and synchronous modeling language for specifying and designing safety-critical software systems and for deriving their implementations.

http://www.sccharts.com

Læs hele beskrivelsen
Detaljer
  • SprogEngelsk
  • Sidetal484
  • Udgivelsesdato15-12-2017
  • ISBN139783746009391
  • Forlag Books on Demand GMBH
  • FormatHardback
  • Udgave1. Auflage
Størrelse og vægt
  • Vægt913 g
  • Dybde3,3 cm
  • coffee cup img
    10 cm
    book img
    16 cm
    22,6 cm

    Anmeldelser

    Vær den første!

    Log ind for at skrive en anmeldelse.