00295nas a2200085 4500000000100000000000100001008004100002245016000043490000600203 2009 d00aПарадигмы и принципы гарантоспособных вычислений: состояние и перспективы развития0 v2