Temporal Logic: Mathematical Foundations and Computational Aspects
Subtitle: Volume 2
Series: Oxford Logic Guides
Publisher: Oxford University Press, USA
Published: May 15, 2000
Language: eng
Number of pages: 612
ISBN-13: 9780198537687