杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

形式语义学引论/周巢尘, 詹乃军著

版本说明:

第2版

出版发行项:

北京:科学出版社,2017

ISBN及定价:

978-7-03-053383-8 精装/CNY68.00

载体形态项:

150页:图;25cm

并列正题名:

Formal semantics

个人责任者:

周巢尘 著

个人责任者:

詹乃军 著

学科主题:

形式语义学-研究

中图法分类号:

TP301.2

相关题名附注:

英文并列题名取自封面

书目附注:

有书目

提要文摘附注:

本书为形式语义学入门参考书，简单介绍程序的操作语义、指称语义和公理语义。全书共7章：第1章介绍操作语义，第2章介绍指称语义，第3章介绍公理语义，第4介绍过程调用的形式语义，第5章介绍非确定程序的形式语义，第6章介绍并发程序的形式语义，第7章介绍程序的时态语义。

豆瓣简介：