Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (7 chapters)
Keywords
Authors and Affiliations
Bibliographic Information
Book Title: Modal and Temporal Properties of Processes
Authors: Colin Stirling
Series Title: Texts in Computer Science
DOI: https://doi.org/10.1007/978-1-4757-3550-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-98717-0Published: 06 July 2001
Softcover ISBN: 978-1-4419-3153-5Published: 09 October 2011
eBook ISBN: 978-1-4757-3550-5Published: 14 March 2013
Series ISSN: 1868-0941
Series E-ISSN: 1868-095X
Edition Number: 1
Number of Pages: XII, 191
Number of Illustrations: 2 b/w illustrations
Topics: Control and Systems Theory, Software Engineering/Programming and Operating Systems, Computer Engineering, Logics and Meanings of Programs, Mathematical Logic and Formal Languages