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 (18 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Institut für Informatik, Technische Universität München, München, Germany
Manfred Broy
-
Sintef Telecom and Informatics, Oslo, Norway
Ketil Stølen
-
Department of Informatics, University of Oslo, Oslo, Norway
Ketil Stølen
Bibliographic Information
Book Title: Specification and Development of Interactive Systems
Book Subtitle: Focus on Streams, Interfaces, and Refinement
Authors: Manfred Broy, Ketil Stølen
Series Title: Monographs in Computer Science
DOI: https://doi.org/10.1007/978-1-4613-0091-5
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 2001
Hardcover ISBN: 978-0-387-95073-0Published: 27 April 2001
Softcover ISBN: 978-1-4612-6518-4Published: 17 October 2012
eBook ISBN: 978-1-4613-0091-5Published: 06 December 2012
Series ISSN: 0172-603X
Series E-ISSN: 2512-5486
Edition Number: 1
Number of Pages: XV, 348
Topics: Theory of Computation, Software Engineering/Programming and Operating Systems, Logics and Meanings of Programs, Mathematical Logic and Formal Languages