J.-R. Abrial The B-book: assigning programs to meanings

[shibormot]

Добрый день! Встречал ссылки на эту книгу из других публикаций, купить подержанную бумажную с доставкой на амазоне стоит в районе 2000р. :(
Может у кого есть электронная версия? :)

[shibormot]

Вопрос снят, книга оказывается есть на gen.lib.rus.ec :)