Synchronous Programming of Reactive Systems

£54.00
FREE Shipping

Synchronous Programming of Reactive Systems

Sold by:
  • product image
Synchronous Programming of Reactive Systems

£54.00

In stock
FREE Shipping

14-Day Returns Policy

Payment methods:

  • Brand: Unbranded
Product details

Product details

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
  • Category: Computing & Internet
  • Artist: Nicolas Halbwachs
  • Format: Paperback
  • Language: English
  • Publication Date: 2010/12/07
  • Publisher / Label: Springer
  • Number of Pages: 174
  • Fruugo ID: 337853556-741512185
  • ISBN: 9781441951335
Delivery

Delivery

Dispatched within 4 days

  • STANDARD: FREE - Delivery between Mon 07 September 2026–Tue 08 September 2026 - FREE

Shipping from United Kingdom.

Returns

Returns

We do our best to ensure that the products that you order are delivered to you in full and according to your specifications. However, should you receive an incomplete order, or items different from the ones you ordered, or there is some other reason why you are not satisfied with the order, you may return the order, or any products included in the order, and receive a full refund for the items.

View full return policy