Synchronous Programming of Reactive Systems

379,00 RON
+ 26,99 RON Livrare
  • product image

Synchronous Programming of Reactive Systems

  • Marcă: Unbranded
Vândut de:

Synchronous Programming of Reactive Systems

  • Marcă: Unbranded

379,00 RON

În stoc
+ 26,99 RON Livrare

Politica de retur pe 14 zile

Vândut de:

379,00 RON

În stoc
+ 26,99 RON Livrare

Politica de retur pe 14 zile

Metode de plată:

Descriere

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
  • Marcă: Unbranded
  • Categorie: Calcul și internet
  • Artist: Nicolas Halbwachs
  • Limbă: English
  • Număr de pagini: 174
  • Format: Paperback
  • Data publicării: 2010/12/07
  • Editor / Etichetă: Springer
  • ID Fruugo: 337853556-741512185
  • ISBN: 9781441951335

Livrări şi Returnări

Expediat în 6 zile

  • STANDARD: 26,99 RON - Livrare între mie. 21 ianuarie 2026–lun. 26 ianuarie 2026

Livrare de la Regatul Unit.

Facem tot ce ne stă în putinţă să ne asigurăm că produsele comandate de dumneavoastră vă sunt livrate în întregime şi conform specificaţiilor. Cu toate acestea, dacă primiţi o comandă incompletă sau articole diferite de cele comandate, sau aveţi alt motiv pentru care nu sunteţi mulţumit de comandă, puteţi returna comanda sau orice produse incluse în comandă şi primiţi o rambursare completă pentru articole. Vizualizaţi întreaga politică de returnare