Reasoning about Selective Strictness: Operational Equivalence, Heaps and Call-by-Need Evaluation, New Inductive Principles
Автор: Seyed H. HAERI (Hossein), 112 стр., издатель: "Книга по Требованию", ISBN: 978-5-8730-0441-6| В наличии: | ||||
|
|
Sprinter - 454 руб. |
Перейти
|
Лучшая цена
|
|
|
|
Books.Ru - 540 руб. |
Перейти
|
||
| Под заказ: | ||||
|
|
OZON.ru - 506 руб. |
Перейти
|
||



4 из 5, 9 голос(-ов).