دانلود کتاب Functional programming languages for verification tools.A comparison of Standard ML and Haskell
by Leucker M.
|
عنوان فارسی: زبان های برنامه نویسی کاربردی برای مقایسه تایید tools.A استاندارد ML و Haskell |