Texts in Theoretical Computer Science, An EATCS Series

Titles

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