本书以语法与实例结合的方式来讲解可编程逻辑器件的设计方法，软件开发平台为Altera公司的Quartus Prime 1...
2018.8
EDA技术及可编程逻辑器件的认识，QUARTUS II安装，VHDL语言应用。
2017.12
本书包含三个内容：操作语义学、指称语义学和公理语义学，但不包括代数语义学。本书涉及非确定性和并发性，...
2017.6
本书适合高联电子信息、通信类专业学生作为教材使用，也可以作为电子行业的工程技术人员的参考用书。教材从...
2017.5
本书以VHDL语言应用为主线，首先介绍了EDA技术的基本概念、发展趋势及开发过程；其次对VHDL的结构与要素、V...
2017.5
本书扼要地介绍了形式语言与自动机的基本体系，是学习计算机科学基础的教材和参考书。书中主要介绍形式语言...
2017.1
系统全面地论述了操作语义、指称语义、公理语义和代数语义等形式语义学的理论和方法，并结合近年来形式语义...
2017.
鉴于形式化方法对软件工程的重要性， 2004 年 ACM 和 IEEE-CS 联合制订的软件工程教程《SE2004》将“形式化...
2015.
本书面向从事计算机软件科学研究的科研人员及计算机相关专业的高校教师和研究生，向读者介绍形式化软件规约...
2014.
形式语义学是逻辑与语言交叉研究的产物，是在逻辑框架内构建的关于自然语言的语义学。形式语义学根植于逻辑...
2014.8