在线客服
登录 注册 购物车(0)   

优桃书网

您的位置：首页 > 图书分类 > 图书详情
#

形式语义学基础与形式说明

当前价：
¥ 17.70
定价：
¥ 59.00
规格
数量
库存 0 件
  • 装帧:平装
  • 作者:屈延文编著
  • ISBN:9787030262387
  • 出版日期:2010-3-1
  • 书名:形式语义学基础与形式说明
  • 出版社:科学出版社
  • 开本:24cm
本书介绍了指称语义学、代数语义学、操作语义学与公理语义学的基本内容及其应用，并介绍了并发程序设计语言各流派的语义模型和新一代计算机计算模型的理论问题。
用户评价

为您推荐

C语言程序设计 第3版
C语言程序设计 第3版

徐孝凯

¥14.82 ¥39.0

Internet Explorer5.0职业技能培训教程操作员级
Internet Explorer5.0职业技能培训教程操作员级

本书编写组

¥7.0 ¥20.0

计算机初级操作员及文字录入员职业技能培训教程
计算机初级操作员及文字录入员职业技能培训教程

希文华 葛宁

¥6.3 ¥18.0

网页动画特效设计精粹
网页动画特效设计精粹

余强

¥19.14 ¥58.0

Outlook2002完全教程
Outlook2002完全教程

阎慧、王华峰

¥6.82 ¥22.0

Photoshop 7.0 速成教程
Photoshop 7.0 速成教程

本书编委会

¥7.5 ¥25.0

三合一中文Windows 98实用教程Windows 2000 Word 2000 Excel 2000 PowerPoint 2000 Internet Outlook 2000 Access 2000
三合一中文Windows 98实用教程Windows 2000 Word 2000 Excel 2000 PowerPoint 2000 Internet Outlook 2000 Access 2000

丛书编委员会编

¥6.0 ¥20.0

新编电脑基础教程Windows 2000 Word 2000 Excel 2000 PowerPoint 2000 Internet Outlook 2000 Access 2000
新编电脑基础教程Windows 2000 Word 2000 Excel 2000 PowerPoint 2000 Internet Outlook 2000 Access 2000

本书编写组

¥6.0 ¥20.0

FrontPage 2002完全教程
FrontPage 2002完全教程

孟东

¥6.82 ¥22.0

即学即用中文Office.XP
即学即用中文Office.XP

本书编写组

¥6.9 ¥23.0