Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (6 chapters)
-
Front Matter
-
Back Matter
About this book
Authors and Affiliations
-
Department of Computer Science, University of Edinburgh, Edinburgh, UK
Julian Charles Bradfield
Bibliographic Information
Book Title: Verifying Temporal Properties of Systems
Authors: Julian Charles Bradfield
Series Title: Progress in Theoretical Computer Science
DOI: https://doi.org/10.1007/978-1-4684-6819-9
Publisher: Birkhäuser Boston, MA
-
eBook Packages: Springer Book Archive
Copyright Information: Julian Charles Bradfield 1992
Softcover ISBN: 978-1-4684-6821-2Published: 25 February 2012
eBook ISBN: 978-1-4684-6819-9Published: 08 March 2013
Edition Number: 1
Number of Pages: VIII, 116
Topics: Mathematics, general