Temporal Logics in Computer Science: Finite-State Systems: 58 (Cambridge Tracts in Theoretical Computer Science, Series Number 58)
by Stéphane Demri,Valentin Goranko,Martin Lange
ISBN 13: 9781107028364
Format: Hardcover (752 pages) Publisher: Cambridge University Press Published: 30 Sep 2016
Save for later
Automatentheorie und Logik (eXamen.press)
by Martin Hofmann,Martin Lange
ISBN 13: 9783642180897
Format: Paperback (252 pages) Publisher: Springer Published: 14 Mar 2011