Synchronous Programming of Reactive Systems

€ 74,00
+ € 5,99 Verzending
  • product image

Synchronous Programming of Reactive Systems

  • Merk: Unbranded
Verkocht door:

Synchronous Programming of Reactive Systems

  • Merk: Unbranded

€ 74,00

Op voorraad
+ € 5,99 Verzending

14-dagen retourbeleid

Verkocht door:

€ 74,00

Op voorraad
+ € 5,99 Verzending

14-dagen retourbeleid

Betaalmethoden:

Beschrijving

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
  • Merk: Unbranded
  • Categorie: Computers & Internet
  • Artiest: Nicolas Halbwachs
  • Uitgever / Label: Springer
  • Formaat: Paperback
  • Aantal pagina's: 174
  • Verschijningsdatum: 2010/12/07
  • Taal: English
  • Fruugo-ID: 337853556-741512185
  • ISBN: 9781441951335

Levering & retouren

Verzonden binnen6 dagen

  • STANDARD: € 5,99 - Levering tussen wo 21 januari 2026–ma 26 januari 2026

Verzending vanaf Verenigd Koninkrijk.

We doen ons best om ervoor te zorgen dat de producten die u bestelt volledig en volgens uw specificaties bij u worden afgeleverd. Mocht u echter een onvolledige bestelling ontvangen of andere artikelen dan degene die u heeft besteld, of als er een andere reden is waarom u niet tevreden bent met de bestelling, dan kunt u de bestelling retourneren, of welk product dan ook die bij de bestelling was inbegrepen, en ontvangt u een volledige terugbetaling voor de artikelen. Bekijk het volledige retourbeleid