by
Bloem, Roderick. editor.
Format:
Electronic Resources
Excerpt:
Logic design.
View Other Search Results
by
Clarke, Edmund M. editor.
Format:
Electronic Resources
Excerpt:
modeled by state-transition systems. Drawing from research traditions in mathematical logic, programming
View Other Search Results
Limit Search Results
Narrowed by: