Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录)

Typed Lambda Calculi and Applications(有类型Lambda演算及其应用/会议录) pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

出版者:Springer Verlag

作者:Urzyczyn, Pawel (EDT)

出品人:

页数:432

译者:

出版时间:

价格:632.80元

装帧:Pap

isbn号码:9783540255932

丛书系列:

图书标签:

Lambda演算
类型理论
函数式编程
程序语言理论
形式化方法
计算理论
语义学
类型系统
并发
逻辑

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到小美书屋

book.quotespace.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

具体描述

作者简介

目录信息

读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

用户评价

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

相关图书

本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等

© 2025 book.quotespace.org All Rights Reserved. 小美书屋版权所有

中国国家图书馆

国立台湾图书馆

美国国会图书馆

开放图书馆 openlibrary.org