Synchronous Programming of Reactive Systems

624,00 DKK
+ 65,49 DKK Levering

Synchronous Programming of Reactive Systems

  • Brand: Unbranded
Sоlgt af:

Synchronous Programming of Reactive Systems

  • Brand: Unbranded

624,00 DKK

På lager
+ 65,49 DKK Levering

14-dages returpolitik

Sоlgt af:

624,00 DKK

På lager
+ 65,49 DKK Levering

14-dages returpolitik

Betalingsmetoder:

Beskrivelse

Synchronous Programming of Reactive Systems

1 Introduction. - 2 The imperative language Esterel. - 3 Graphic formalisms: the language Argos. - 4 Declarative languages: Lustre and Signal. - 5 Static verifications. - 6 Sequential code generation. - 7 Distributed code generation. - 8 Circuit generation from synchronous programs. - 9 Lustre program verification: the tool Lesar. - 10 Using Auto for Esterel program verification. - 11 Conclusion. Language: English
  • Brand: Unbranded
  • Kategori: Computer og internet
  • Format: Paperback
  • Forlag / Pladeselskab: Springer
  • Udgivelsesdato: 2010/12/07
  • Kunstner: Nicolas Halbwachs
  • Sprog: English
  • Antal sider: 174
  • Fruugo ID: 337853556-741512185
  • ISBN: 9781441951335

Levering og returnering

Sendt inden for 6 dage

  • STANDARD: 65,49 DKK - Levering mellem kl tir. 20 januar 2026–fre. 23 januar 2026

Afsendes fra Storbritannien.

Vi gør vores bedste for at sikre, at de produkter, du bestiller, leveres til dig fuldt ud og i henhold til dine specifikationer. Skulle du dog modtage en ufuldstændig ordre eller andre ting end dem, du bestilte, eller der er en anden grund til, at du ikke er tilfreds med ordren, kan du returnere ordren eller produkter inkluderet i ordren og modtage en fuld refusion for varerne. Se fuld returpolitik