Temporal Logics in Computer Science - Classical Theory
Publisher: Cambridge University Press
Published: 2016
Language: eng
Number of pages: 752
ISBN-13: 9781107028364
Subjects: Computer science