Compiling Esterel - Dumitru Potop-Butucaru,Stephen A. Edwards,Gerard Berry
-30% ar kodu BOOKS
Piegāde 12-18 darba dienu laikā
30 dienu atgriešanas politika
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it. Esterel is based on the simple idea of providing a software language that has a synchronous model ... Pilns apraksts
Jums varētu patikt arī
TOP
INCOSE Systems Engineering Handbook
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
If Anyone Builds It, Everyone Dies: The Case Against Superintelligent AI
Eliezer Yudkowsky, Nate Soares
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Open Circuits: The Inner Beauty of Electronic Components
Eric Schlaepfer, Windell Oskay
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Get started with MicroPython on Raspberry Pi Pico: The Official Raspberry Pi Pico Guide
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Practical Electronics for Inventors
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Nucleo Boards Programming with the STM32CubeIDE: Hands-on in more than 50 projects
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control
Steven L. Brunton, J. Nathan Kutz
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Fundamentals of Aerodynamics ISE
Christopher Cadou, John D. Anderson
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Black Holes: The Key to Understanding the Universe
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
KiCad Like A Pro - Fundamentals and Projects: Getting started with the world's best open-source PCB tool
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
How To Read Water: Clues & Patterns from Puddles to the Sea
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Foundations of Flavor: The Noma Guide to Fermentation: Including Step-By-Step Information on Making and Cooking with: Koji, Kombuchas, Shoyus, Misos, Vinegars, Garums, Lacto-Ferments and black Fruits Vegetables
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Make: Electronics: Learning by Discovery: A hands-on primer for the new electronics enthusiast
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
The Idea Factory: Bell Labs and the Great Age of American Innovation
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Flowers For Algernon: A Modern Literary Classic
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Professional SMD Assembly: Practical Low-Cost Methods for Reliable PCB Production
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Blood in the Machine: The Origins of the Rebellion Against Big Tech
-30% ar kodu BOOKS
Piegādātāja noliktavā
Aprašymas
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it. Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments. While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having priorknowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design. Researchers as well as advanced developers will find Compiling Esterel essential for understanding Esterel at all levels.
Vairāk informācijas
| Autors | Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry |
|---|---|
| Izdevējs | Springer US |
| Izlaides gads | 2010 |
| Vāka tips | Mīkstais vāks |
| EAN | 9781441943552 |