Synchronous Programming of Reactive Systems

774,00 kr
+ 90,99 kr Leverans
  • product image

Synchronous Programming of Reactive Systems

  • Märke: Unbranded
Säljs av:

Synchronous Programming of Reactive Systems

  • Märke: Unbranded

774,00 kr

I lager
+ 90,99 kr Leverans

14-dagars returpolicy

Säljs av:

774,00 kr

I lager
+ 90,99 kr Leverans

14-dagars returpolicy

Betalningsmetoder:

Beskrivning

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
  • Märke: Unbranded
  • Kategori: Datorer & Internet
  • Artist: Nicolas Halbwachs
  • Format: Paperback
  • Publiceringsdatum: 2010/12/07
  • Sidantal: 174
  • Förläggare / Bolag: Springer
  • Språk: English
  • Fruugo-ID: 337853556-741512185
  • ISBN: 9781441951335

Leverans och returer

Skickas inom 6 dagar

  • STANDARD: 90,99 kr - Leverans mellan kl tis 20 januari 2026–fre 23 januari 2026

Leverans från Storbritannien.

Vi gör vårt bästa för att säkerställa att produkterna du beställer levereras kompletta och enligt dina specifikationer. Om du däremot skulle ta emot en ofullständig beställning, eller andra artiklar än de du beställt, eller om det finns någon annan anledning till att du inte är nöjd med din beställning, kan du returnera beställningen, eller valfria produkter som ingår i beställningen, och få fullständig ersättning för artiklarna. Visa fullständig returpolicy