Имеется в виду вот эта книга?
http://www.ozon.ru/context/detail/id/3194099/
Спасибо за ссылку. Книжка интересная, но она в основном жутко математическая. У меня в работе нет никакой механики, физики, уравнений в частных производных, дифференциальных уравнений и т.п. и никогда не будет. Есть чистый computer science. Например, верификация компьютерных программ, анализ производительности, статический анализ программ. Есть ли что-то о моделях для этой области?