Temporal Logics and their Applications
Author(s)
Unknown, Author
Unknown, Author
Name in long format: | Temporal Logics and their Applications |
---|---|
ISBN-10: | 0122740602 |
ISBN-13: | 9780122740602 |
Book pages: | 244 |
Book language: | en |
Edition: | 1st Edition |
Binding: | Hardcover |
Publisher: | Academic Press |