Temporal Logic
Mathematical Foundations and Computational Aspects, Volume 2
Temporal Logic: Mathematical Foundations and Computational Aspects, Volume 2
Publisher: Oxford University Press on Demand
Type: Physical Book
Language: English
Pages: 616
Information: 1
Release Date: 1994-01-01
ISBN 10: 0198537689
ISBN 13: 9780198537687
Readers: 1
Country: United States of America