. .
Deutsch
Deutschland
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.com

Dieses Buch teilen auf…
..?
Buchtipps
Aktuelles
Tipp von eurobuch.com
FILTER
- 0 Ergebnisse
Kleinster Preis: 156.47 EUR, größter Preis: 189.19 EUR, Mittelwert: 172.32 EUR
Designing Embedded Systems with the SIGNAL Programming Language - Abdoulaye Gamatie
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Abdoulaye Gamatie:

Designing Embedded Systems with the SIGNAL Programming Language - neues Buch

2009, ISBN: 9781441909404

ID: 691991005

I am very pleased to play even a small part in the publication of this book on the SIGNAL language and its environment POLYCHRONY. I am sure it will be a s- ni?cant milestone in the development of the SIGNAL language, of synchronous computing in general, and of the data?ow approach to computation. In data?ow, the computation takes place in a producerconsumer network of - dependent processing stations. Data travels in streams and is transformed as these streams pass through the processing stations (often called ?lters). Data?ow is an attractive model for many reasons, not least because it corresponds to the way p- duction,transportation,andcommunicationare typicallyorganizedin the real world (outside cyberspace). I myself stumbled into data?ow almost against my will. In the mid-1970s, Ed Ashcroft and I set out to design a super structured programming language that, we hoped, would radically simplify proving assertions about programs. In the end, we decided that it had to be declarative. However, we also were determined that iterative algorithms could be expressed directly, without circumlocutions such as the use of a tail-recursive function. The language that resulted, which we named LUCID, was much less traditional then we would have liked. LUCID statements are equations in a kind of executable temporallogic thatspecifythe (time)sequencesof variablesinvolvedin aniteration. This book describes synchronous programming for the design of safety-critical embedded systems such as automotive, nuclear power plants, and multimedia. The programming language used is SIGNAL, and the techniques presented promote the use of formal concepts. Bücher > Fremdsprachige Bücher > Englische Bücher gebundene Ausgabe 16.10.2009, Springer, .200

Neues Buch Buch.ch
No. 17593461 Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Designing Embedded Systems with the SIGNAL Programming Language - Abdoulaye Gamatie
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)

Abdoulaye Gamatie:

Designing Embedded Systems with the SIGNAL Programming Language - neues Buch

ISBN: 9781441909404

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - I am very pleased to play even a small part in the publication of this book on the SIGNAL language and its environment POLYCHRONY. I am sure it will be a s- ni cant milestone in the development of the SIGNAL language, of synchronous computing in general, and of the data ow approach to computation. In data ow, the computation takes place in a producer-consumer network of - dependent processing stations. Data travels in streams and is transformed as these streams pass through the processing stations (often called lters). Data ow is an attractive model for many reasons, not least because it corresponds to the way p- duction,transportation,andcommunicationare typicallyorganizedin the real world (outside cyberspace). I myself stumbled into data ow almost against my will. In the mid-1970s, Ed Ashcroft and I set out to design a 'super' structured programming language that, we hoped, would radically simplify proving assertions about programs. In the end, we decided that it had to be declarative. However, we also were determined that iterative algorithms could be expressed directly, without circumlocutions such as the use of a tail-recursive function. The language that resulted, which we named LUCID, was much less traditional then we would have liked. LUCID statements are equations in a kind of executable temporallogic thatspecifythe (time)sequencesof variablesinvolvedin aniteration., [SC: 0.00], Neuware, gewerbliches Angebot, 241x155x25 mm, [GW: 564g]

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Designing Embedded Systems with the SIGNAL Programming Language - Abdoulaye Gamatie
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Abdoulaye Gamatie:
Designing Embedded Systems with the SIGNAL Programming Language - neues Buch

ISBN: 9781441909404

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - I am very pleased to play even a small part in the publication of this book on the SIGNAL language and its environment POLYCHRONY. I am sure it will be a s- ni cant milestone in the development of the SIGNAL language, of synchronous computing in general, and of the data ow approach to computation. In data ow, the computation takes place in a producer-consumer network of - dependent processing stations. Data travels in streams and is transformed as these streams pass through the processing stations (often called lters). Data ow is an attractive model for many reasons, not least because it corresponds to the way p- duction,transportation,andcommunicationare typicallyorganizedin the real world (outside cyberspace). I myself stumbled into data ow almost against my will. In the mid-1970s, Ed Ashcroft and I set out to design a 'super' structured programming language that, we hoped, would radically simplify proving assertions about programs. In the end, we decided that it had to be declarative. However, we also were determined that iterative algorithms could be expressed directly, without circumlocutions such as the use of a tail-recursive function. The language that resulted, which we named LUCID, was much less traditional then we would have liked. LUCID statements are equations in a kind of executable temporallogic thatspecifythe (time)sequencesof variablesinvolvedin aniteration., Neuware, gewerbliches Angebot, 241x155x25 mm, [GW: 564g]

Neues Buch Booklooker.de
Carl Hübscher GmbH
Versandkosten:zzgl. Versandkosten
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Designing Embedded Systems with the SIGNAL Programming Language - Abdoulaye Gamatie
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Abdoulaye Gamatie:
Designing Embedded Systems with the SIGNAL Programming Language - gebunden oder broschiert

ISBN: 9781441909404

Hardback, [PU: Springer-Verlag New York Inc.], This book describes synchronous programming for the design of safety-critical embedded systems such as automotive, nuclear power plants, and multimedia. The programming language used is SIGNAL, and the techniques presented promote the use of formal concepts., Embedded Systems

Neues Buch Bookdepository.com
Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification - Gamatie, Abdoulaye
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Gamatie, Abdoulaye:
Designing Embedded Systems with the SIGNAL Programming Language Synchronous, Reactive Specification - gebunden oder broschiert

2009, ISBN: 1441909400

ID: A7048230

Gebundene Ausgabe CAD - Computer Aided Design, Computer Aided Design ( CAD ), mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

< zum Suchergebnis...
Details zum Buch
Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification
Autor:

Gamatie, Abdoulaye

Titel:

Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification

ISBN-Nummer:

1441909400

This book is about synchronous programming for the design of, safety critical, embedded systems, such as automotive, avionics, nuclear power plants, telecommunication and multimedia. The techniques presented promote the use of formal concepts, i.e. those having a mathematically sound basis. Such concepts enable non ambiguous and rigorous reasoning about the critical properties of addressed systems in order to ensure their reliability. The synchronous programming language, SIGNAL, is used to demonstrate the pragmatic design of embedded systems. This is an invaluable tutorial/reference for scientists, practitioners and students. TOC:13 chapters and two appendices.

Detailangaben zum Buch - Designing Embedded Systems with the SIGNAL Programming Language: Synchronous, Reactive Specification


EAN (ISBN-13): 9781441909404
ISBN (ISBN-10): 1441909400
Gebundene Ausgabe
Erscheinungsjahr: 2009
Herausgeber: Springer-Verlag GmbH
257 Seiten
Gewicht: 0,564 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 31.07.2009 16:02:04
Buch zuletzt gefunden am 19.10.2016 02:06:45
ISBN/EAN: 1441909400

ISBN - alternative Schreibweisen:
1-4419-0940-0, 978-1-4419-0940-4

< zum Suchergebnis...
< zum Archiv...
Benachbarte Bücher