by
Grumberg, Orna. editor.
Format:
Electronic Resources
Excerpt:
Logic design.
by
Cervesato, Iliano. 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
Limit Search Results
Narrowed by: