Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
computing mechanising » computing mechanisms, computing mechanics, computing sensing
computing mechanism » coping mechanism, routing mechanism, coupling mechanism
electronic organs » electronic organ, electric organs, electronic atlas
computing meaning » computing learning, computing making, computing mining
computing mechanising » computing mechanisms, computing mechanics, computing sensing
computing mechanism » coping mechanism, routing mechanism, coupling mechanism
electronic organs » electronic organ, electric organs, electronic atlas
computing meaning » computing learning, computing making, computing mining
1
Published 2012
Table of Contents:
“...Applications to Software Specification and Correctness -- Mechanised Resoning in Relational...”View full text
Electronic
eBook
2
Published 2013
Table of Contents:
“... Proof by Reflection Using a Posteriori Simulation of Effectful Computation -- Automatic Data Refinement...”View full text
Electronic
eBook