Synchronous Programming of Reactive Systems

84,00 €
+ 7,49 € Doručenie
  • product image

Synchronous Programming of Reactive Systems

  • Značka: Unbranded
Predáva:

Synchronous Programming of Reactive Systems

  • Značka: Unbranded

84,00 €

Na sklade
+ 7,49 € Doručenie

Politika vrátenia 14 dní

Predáva:

84,00 €

Na sklade
+ 7,49 € Doručenie

Politika vrátenia 14 dní

Spôsoby platby:

Popis

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
  • Značka: Unbranded
  • Kategória: Počítače a internet
  • Počet strán: 174
  • Formátovať: Paperback
  • Jazyk: English
  • Umelec: Nicolas Halbwachs
  • Dátum vydania: 2010/12/07
  • Vydavateľ / štítok: Springer
  • Fruugo ID: 337853556-741512185
  • ISBN: 9781441951335

Dodanie a vrátenie

Odoslané do 6 dní

  • STANDARD: 7,49 € - Doručenie medzi st 21 januára 2026–po 26 januára 2026

Doručenie od Spojené kráľovstvo.

Snažíme sa, aby sme výrobky, ktoré si objednáte, doručili celkom v súlade s vašou špecifikáciou. Ak by ste však dostali neúplnú objednávku alebo iný tovar ako ten, ktorý ste si objednali, alebo existuje nejaký iný dôvod, prečo nie ste s objednávkou spokojní, môžete objednávku alebo niektoré produkty z nej vrátiť a za tovar dostať plnú náhradu. Pozrite si všetky pravidlá vrátenia