Temporal Logic : Mathematical Foundations and Computational Aspects : v.2

Once you confirm your details, our booksellers will check the availability of the book.

Then we will contact you by email to inform you when we could have your book and confirm your purchase from there.