Authors:
Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 215)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (11 chapters)
-
Front Matter
-
Introduction
-
Four Synchronous Languages
-
Front Matter
-
-
Program Verification
-
Front Matter
-
-
Back Matter
About this book
Reviews
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
Authors and Affiliations
-
IMAG Institute, Grenoble, France
Nicolas Halbwachs
Bibliographic Information
Book Title: Synchronous Programming of Reactive Systems
Authors: Nicolas Halbwachs
Series Title: The Springer International Series in Engineering and Computer Science
DOI: https://doi.org/10.1007/978-1-4757-2231-4
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media Dordrecht 1993
Hardcover ISBN: 978-0-7923-9311-5Published: 31 December 1992
Softcover ISBN: 978-1-4419-5133-5Published: 07 December 2010
eBook ISBN: 978-1-4757-2231-4Published: 29 June 2013
Series ISSN: 0893-3405
Edition Number: 1
Number of Pages: XIV, 174
Topics: Special Purpose and Application-Based Systems, Programming Languages, Compilers, Interpreters, Operating Systems, Theory of Computation