Temporal Logic for Real-time Systems
Published on 2. August 1989
Book
Hardback
224 pages
978-0-86380-086-3 (ISBN)
More details
Series
Language
English
Place of publication
Baldock
United Kingdom
Target group
College/higher education
Professional and scholarly
Illustrations
Ill.
Dimensions
Height: 229 mm
Width: 152 mm
Weight
500 gr
ISBN-13
978-0-86380-086-3 (9780863800863)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification