Synchronous Programming of Reactive Systems

69,00 €
+ 4,49 € Envío
  • product image

Synchronous Programming of Reactive Systems

  • Marca: Unbranded
Vendido por:

Synchronous Programming of Reactive Systems

  • Marca: Unbranded

69,00 €

En existencias
+ 4,49 € Envío

Política de devoluciones de 14 días

Vendido por:

69,00 €

En existencias
+ 4,49 € Envío

Política de devoluciones de 14 días

Métodos de pago:

Descripción

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
  • Marca: Unbranded
  • Categoría: Informática e Internet
  • Idioma: English
  • Número de páginas: 174
  • Fecha de publicación: 2010/12/07
  • Artista: Nicolas Halbwachs
  • Editor / Marca: Springer
  • Formato: Paperback
  • Nº de Fruugo : 337853556-741512185
  • ISBN: 9781441951335

Entrega y devolución

Enviado en un plazo de 6 días

  • STANDARD: 4,49 € - Entrega entre mié 21 enero 2026–lun 26 enero 2026

Envío desde Reino Unido.

Hacemos todo lo posible para asegurarnos de que se le entreguen los productos que pida en su totalidad y de acuerdo con sus especificaciones. Sin embargo, si recibe un pedido incompleto o artículos diferentes a los que pidió, o hay alguna otra razón por la que no está satisfecho con el pedido, puede devolver el mismo o cualquier producto incluido en él y obtener un reembolso completo por los artículos. Vea la política de devolución completa