Overview
Part of the book series: The Springer International Series in Engineering and Computer Science (SECS, volume 215)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
Similar content being viewed by others
Keywords
Table of contents (11 chapters)
-
Introduction
-
Four Synchronous Languages
-
Compilation
-
Program Verification
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
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