Yazar
Wienke, B. R. author.
Format:
Electronic Resources
Alıntı:
tests to modern computer algorithms, a description of two basic computer models with all constants and
View Other Search Results
Yazar
Clarke, Edmund M. editor.
Format:
Electronic Resources
Alıntı:
the research agenda: the algorithmic challenge, that is, designing model-checking algorithms that
View Other Search Results