Synchronous Programming of Reactive Systems: The Springer International Series in Engineering and Computer Science, cartea 215
Autor Nicolas Halbwachsen Limba Engleză Hardback – 31 dec 1992
Toate formatele și edițiile | Preț | Express |
---|---|---|
Paperback (1) | 310.12 lei 6-8 săpt. | |
Springer Us – 7 dec 2010 | 310.12 lei 6-8 săpt. | |
Hardback (1) | 316.37 lei 6-8 săpt. | |
Springer Us – 31 dec 1992 | 316.37 lei 6-8 săpt. |
Din seria The Springer International Series in Engineering and Computer Science
- Preț: 119.98 lei
- 24% Preț: 1041.97 lei
- 20% Preț: 422.81 lei
- Preț: 206.36 lei
- 20% Preț: 313.26 lei
- 20% Preț: 609.53 lei
- 23% Preț: 637.96 lei
- 18% Preț: 1160.74 lei
- 18% Preț: 913.98 lei
- 20% Preț: 612.01 lei
- 18% Preț: 898.61 lei
- 20% Preț: 612.50 lei
- 15% Preț: 603.82 lei
- 20% Preț: 609.85 lei
- 18% Preț: 899.03 lei
- 20% Preț: 610.46 lei
- 20% Preț: 942.28 lei
- 20% Preț: 611.88 lei
- 18% Preț: 896.79 lei
- 20% Preț: 942.91 lei
- 18% Preț: 906.38 lei
- 20% Preț: 610.94 lei
- 15% Preț: 615.27 lei
- 18% Preț: 899.97 lei
- 18% Preț: 1156.72 lei
- 18% Preț: 906.98 lei
- 15% Preț: 610.01 lei
- 18% Preț: 898.31 lei
- 18% Preț: 897.26 lei
- 20% Preț: 1216.64 lei
Preț: 316.37 lei
Preț vechi: 395.45 lei
-20% Nou
Puncte Express: 475
Preț estimativ în valută:
60.60€ • 65.69$ • 50.37£
60.60€ • 65.69$ • 50.37£
Carte tipărită la comandă
Livrare economică 02-16 decembrie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9780792393115
ISBN-10: 0792393112
Pagini: 174
Ilustrații: XIV, 174 p.
Dimensiuni: 156 x 234 x 17 mm
Greutate: 0.46 kg
Ediția:1993
Editura: Springer Us
Colecția Springer
Seria The Springer International Series in Engineering and Computer Science
Locul publicării:New York, NY, United States
ISBN-10: 0792393112
Pagini: 174
Ilustrații: XIV, 174 p.
Dimensiuni: 156 x 234 x 17 mm
Greutate: 0.46 kg
Ediția:1993
Editura: Springer Us
Colecția Springer
Seria The Springer International Series in Engineering and Computer Science
Locul publicării:New York, NY, United States
Public țintă
ResearchCuprins
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.
Recenzii
` ... The material in the book is well-organized, the style is clear, concise and readable. This book can be recommended as serious, although enjoyable, reading for everybody who is interested in real-time, embedded systems (reactive systems). '
Engineering Applications Artificial Intelligence, 7:3 (1994)
'This book can be recommended as serious, although enjoyable, reading for everybody who is interested in real-time, embedded systems.' Eng. App. of Artificial Intelligence 7:3 1994
Engineering Applications Artificial Intelligence, 7:3 (1994)
'This book can be recommended as serious, although enjoyable, reading for everybody who is interested in real-time, embedded systems.' Eng. App. of Artificial Intelligence 7:3 1994