Temporal Logics in Computer Science > Editions
by Stéphane Demri
Published October 13th 2016
by Cambridge University Press
Annotated, Kindle Edition, 753 pages
Published December 6th 2016
by Cambridge University Press
Annotated, Hardcover, 752 pages
Published September 28th 2016
by Cambridge University Press
ebook, 0 pages