Texts in Theoretical Computer Science, An EATCS Series

Titles

temporal logic and state systems
decision procedures
abstract computing machines
 
 
Change password
Login