Overview
Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT)
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 (42 chapters)
-
Verification and Real-Time
-
Semantics
Reviews
Editors and Affiliations
Bibliographic Information
Book Title: Formal Description Techniques VII
Editors: Dieter Hogrefe, Stefan Leue
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/978-0-387-34878-0
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: IFIP International Federation for Information Processing 1995
Hardcover ISBN: 978-0-412-64450-4Published: 28 February 1995
eBook ISBN: 978-0-387-34878-0Published: 09 January 2016
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: XIV, 522
Topics: Signal, Image and Speech Processing, Computer Communication Networks