"Types for Proofs and Programs, TYPES 2007" - читать интересную книгу автора (Marino Miculan, Ivan Scagnetto, Furio Honsell)
| © 2025 Библиотека RealLib.org (support [a t] reallib.org) |
"Types for Proofs and Programs, TYPES 2007" - читать интересную книгу автора (Marino Miculan, Ivan Scagnetto, Furio Honsell) |
|
|