Temporal Logic for Real-Time Systems
Published on 1. December 1989
Book
Hardback
222 pages
978-0-471-92402-9 (ISBN)
More details
Series
Language
English
Place of publication
New York
United States
Publishing group
John Wiley and Sons Ltd
Target group
College/higher education
Professional and scholarly
Illustrations
Illustrations
ISBN-13
978-0-471-92402-9 (9780471924029)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification