Free delivery for orders over 69.99€

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 69.99 €

Speedy courier 3.99 € Speedy point 3.99 € Еконт courier 4.49 € Еконтомат/Офис на Еконт 4.49 € Ekont Box 4.49 € Sameday courier 4.49 € Sameday Box 4.49 € Box Now 4.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Free delivery for orders over 69.99€

Synchronous Programming of Reactive Systems

Name: Synchronous Programming of Reactive Systems
Brand: Springer
SKU: 01398168
Price: 54.02 EUR
Availability: InStock
Author: Nicolas Halbwachs
ISBN: 9780792393115

Nicolas Halbwachs

Language

English

Book Hardback

Libristo code: 01398168

Publishers Springer, December 1992

This book presents a synthesis of recent works concerning reactive system design. The term `reactive... Full description

Libristo code: 01398168

132 b

54.02 €

105.65 лв

In stock at our supplier Shipping in 10-13 days

Up to 30 days for returns

Customers also purchased

Sri Ramakrischna - der letzte indische Prophet Carl Vogel

Paperback

11.39 € 22.29 лв

Le chêne rouge d'Amérique Nepveu

Hardback

53.25 € 104.14 лв

Le cul de la femme LOUYS PIERRE

Hardback

44.36 € 86.76 лв

Santa Biblia-Rvr 2000 Free MP3 Juan Ovalle

Audio CD

74.14 € 145.01 лв

La Revue des revues - numéro 36 collegium

Paperback

19.87 € 38.86 лв

Au nom du réalisme - usage(s) politique(s) d'un mot d'ordre Bikialo

Paperback

7.08 € 13.85 лв

MON JARDIN MUSICAL + CD --- EVEIL MUSICAL SICILIANO/ZARCO Book

binding.

35.68 € 69.79 лв

Viaggio nel tempo Geronimo Stilton

Book

12.06 € 23.59 лв

Der Krieg von 1870 - Ursachen und Verantwortungen Henri Welschinger

Paperback

21.61 € 42.27 лв

Nachtrag zu Verwaltungsgesetze und Verordnungen für Bayern Georg Ziegler

Hardback

114.15 € 223.25 лв

LA HISTORIA DE ROMA CONTADA PARA ESCEPTICOS ESLAVA GALAN

Book

39.23 € 76.72 лв

Pflegefall Otto N. Bretzinger

Paperback

22.54 € 44.08 лв

Törnführer Griechenland 2 Gerd Radspieler

Paperback

45.29 € 88.57 лв

Velké záhady Protektrátu Vladimír Liška

Hardback

8.52 € 16.66 лв

Moc, energie a nový ruský imperialismus Ľudmila Velichová

Hardback

13.14 € 25.70 лв

Mikroekonomie sounáležitosti se společenstvím Jiří Hlaváček

Paperback

5.85 € 11.44 лв

¡Apúntate! - 2. Fremdsprache - Spanisch als 2. Fremdsprache - Ausgabe 2008 - Paso al bachillerato Alexander Grimm

Sheet

18.79 € 36.75 лв

Alternative Voices Afe Adogame

Hardback

252.18 € 493.22 лв

Synthesen Mit Kohlenmonoxyd Bernhard Fell

Paperback

55.56 € 108.66 лв

L'evoluzione morfologica dei pronomi personali Sylvia Jungmann

Paperback

15.14 € 29.62 лв

OEffentliche Meinung Und Soziologische Theorie Peter-Ulrich Merz-Benz

Paperback

38.46 € 75.21 лв

Magicienne Le Secret Des Zippelius Histoire d'Une Nuit Lermina-J

Paperback

26.75 € 52.32 лв

Tobias Stimmers Malereien AUGUST STOLBERG

Paperback

12.32 € 24.09 лв

De Vienne à Cambridge Kuhn

Paperback

19.61 € 38.36 лв

This book presents a synthesis of recent works concerning reactive system design. The term `reactive system' has been introduced in order to avoid ambiguities often involved with the term `real-time system' which, while being best-known and suggestive, has been assigned so many different meanings that it is almost inevitably misunderstood. Industrial Process control system, transportation control and supervision systems, signal processing systems, etc. are examples of the systems we have in mind. §Four programming languages are presented, which share the same underlying synchronous model: based on Robin Milner's pioneering works about synchronous process algebras, this model consists in considering that a program instantaneously reacts to events, or that the machine execution time is negligible with respect to the response delays of its environment. Using this abstract point of view, the time behavior of a system can be formalized in a very simple and elegant way. §The languages presented are ESTEREL, a textual imperative language; ARGOS, a graphical language inspired by STATECHARTS; and LUSTRE and SIGNAL, two declarative languages. §After a tutorial description of the languages, illustrated by various examples, a set of related tools is presented: compilers to sequential and distributed code, silicon compilers, verification tools. §

Actress & Polyglot

EWA KASP for

Play video

Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Synchronous Programming of Reactive Systems

Author Nicolas Halbwachs

Language

English

Binding Book - Hardback

Date of issue 1992

Number of pages 174

EAN 9780792393115

ISBN 0792393112

Libristo code 01398168

Publishers Springer

Weight 990

Dimensions 156 x 234 x 15

You might also be interested in

Designs for 3 Timpani, Op. 11, No. 2: (One Player) Muczynski Robert

Paperback

8.93 € 17.47 лв

Views Beyond the Border Country Dennis L. Dworkin

Paperback

62.95 € 123.12 лв

Belgenland, The; Jackson V. Jensen U.S. Supreme Court Transcript of Record with Supporting Pleadings Additional Contributors

Paperback

24.33 € 47.60 лв

Dreams and Dreamers Lynn Cohen

Paperback

16.84 € 32.93 лв

Activate Your Power Eitan Sharir

Paperback

19.71 € 38.56 лв

Redemption Gary Thomas

Paperback

16.02 € 31.33 лв

Veld Friends Adventure 3: Sindele the Stork has a Secret Admirer Andrew Dawson

Adobe ePub DRM

3.59 € 7.02 лв

Systemes Vivants Et Paysage Alexander Robinson

Hardback

53.40 € 104.44 лв

Ethiopian Jewish Exodus Gadi BenEzer

Paperback

80.10 € 156.67 лв

Education in Europe Tom Feldges

Paperback

50.22 € 98.21 лв

Ordinary Time Anna Livesey

Paperback

19.00 € 37.16 лв

100 Years of Popular Music 2000

Paperback

34.45 € 67.38 лв

The History and Process of Modern Paper Making Frederick T. Day

Paperback

20.53 € 40.16 лв

Animal Encyclopedia: 2,500 Animals with Photos, Maps, and More! National

Hardback

38.51 € 75.31 лв

Romance in Vedic Age Kshitiz Gaur

Paperback

45.90 € 89.78 лв

Pre-Service Teacher Education and Induction in Southwest China Ju Huang

Hardback

83.39 € 163.09 лв

James, the Postman, and The Gift That Was Late: It's James' birthday, but his gift has not arrived! What will he do? Read to find out! This book is lo Shaun Chris

Paperback

15.09 € 29.52 лв