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 (8 chapters)
Bibliographic Information
Book Title: Introduction to the Formal Design of Real-Time Systems
Authors: David Gray
Series Title: Applied Computing
DOI: https://doi.org/10.1007/978-1-4471-0889-4
Publisher: Springer London
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag London Limited 1999
Softcover ISBN: 978-3-540-76140-2Published: 01 November 1998
eBook ISBN: 978-1-4471-0889-4Published: 06 December 2012
Series ISSN: 1431-1542
Edition Number: 1
Number of Pages: XIII, 461
Number of Illustrations: 18 b/w illustrations
Topics: System Performance and Evaluation, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Software Engineering, Special Purpose and Application-Based Systems