Temes suggerits dins de la cerca
Temes suggerits dins de la cerca
Alternatives de cerca:
computing mechanising » computing mechanisms, computing meaning, computing mechanics
electronics organic » electronic organ, electronic organs, optoelectronics organic
computing mechanism » coping mechanism, routing mechanism, coupling mechanism
computing mechanising » computing mechanisms, computing meaning, computing mechanics
electronics organic » electronic organ, electronic organs, optoelectronics organic
computing mechanism » coping mechanism, routing mechanism, coupling mechanism
1
Publicat 2012
Taula de continguts:
“...Applications to Software Specification and Correctness -- Mechanised Resoning in Relational...”Obtenir text complet
Electrònic
eBook
2
Publicat 2013
Taula de continguts:
“... Proof by Reflection Using a Posteriori Simulation of Effectful Computation -- Automatic Data Refinement...”Obtenir text complet
Electrònic
eBook