|
|
 |
| Результат поиска |
Поиск книг, содержащих: Denotational semantics
| Книга | Страницы для поиска | | Khosrowpour M. — Encyclopedia Of Information Science And Technology | 1210 | | Girard J.-Y., Taylor P., Lafont Y. — Proofs and Types | 14, 54, 67, 95, 132 | | Aho A.V., Sethi R., Ullman J.D. — Compilers: principles, techniques and tools | 340 | | Terry P.D. — Compliers and Compiler Generators: An Introduction With C++ | 69 | | Gabbay D.M. (Ed), Woods J. (Ed) — Logic and the Modalities in the Twentieth Century, Vol. 7 | 37 | | Terano T., Asai K., Sugeno M. — Fuzzy systems theory and its applications | 221 | | Dorr H. — Efficient Graph Rewriting and Its Implementation | 118, 120 | | Queinnec C. — Lisp in Small Pieces | 147 | | Hazewinkel M. — Handbook of Algebra (part 2) | 8, 25, 39, 46, 66 | | Scott M.L. — Programming Language Pragmatics | 170, 270, 602 | | Sebesta R.W. — Concepts of programming languages | 142—147 | | Gabbay D.M., Hogger C.J., Robinson J.A. — Handbook of Logic in Artificial Intelligence and Logic Programming: Volume 5: Logic Programming | 57—58 | | Suppes P.(ed.) — Handbook of Proof Theory.Studies in logic the foundations of mathematics.Volume 137. | 759 | | Jacky J. — The Way of Z: Practical Programming with Formal Methods | 142, 161 |
|
|
|
|
О проекте