Synchronous Programming of Reactive Systems

$74.00
+ $6.99 Shipping
  • product image
Synchronous Programming of Reactive Systems

Synchronous Programming of Reactive Systems

  • Brand: Unbranded
Sold by:

Synchronous Programming of Reactive Systems

  • Brand: Unbranded

$74.00

In stock
+ $6.99 Shipping
Taxes calculated at checkout

14-Day Returns Policy

Sold by:

$74.00

In stock
+ $6.99 Shipping
Taxes calculated at checkout

14-Day Returns Policy

Payment methods:

Description

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

Dispatched within 4 days

  • STANDARD: $6.99 - Delivery between Thu 25 June 2026–Tue 30 June 2026

Shipping from United Kingdom.

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