Logics in Computer Science: A Study on Extensions of Temporal and Strategic Logics (Atlantis Studies in Computing)

Computing

by Fabio Mogavero

Hardcover

ISBN: 978-94-91216-94-7

ISBN-10: 94-91216-94-5

Atlantis Press · 2013