The Semantics of Programming Languages

The Semantics of Programming Languages pdf epub mobi txt 電子書 下載2025

出版者:John Wiley & Sons Ltd
作者:Matthew Hennessy
出品人:
頁數:170
译者:
出版時間:1990-8
價格:0
裝幀:Paperback
isbn號碼:9780471927723
叢書系列:
圖書標籤:
  • semantic
  • pl
  • 編程語言語義學
  • 形式語言
  • 編譯器
  • 程序分析
  • 類型係統
  • 抽象解釋
  • 操作語義
  • 公理語義
  • 變異語義
  • 程序驗證
想要找書就要到 小美書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

具體描述

This book is based on a course given to second-year computer science undergraduates at the University of Sussex in the spring of 1988 and 1989. It offers an elementary introduction to the semantics of programming languages in a form which is designed to be accessible to students who are not very advanced in their undergraduate career. All the material in the book may easily be covered in a one-term course. There are very few prerequisites. Students who have undertaken an introductory programming course and who are familiar with elementary mathematical notation should have little difficulty in following it. A first course in discrete mathematics would be more than sufficient to cover the required background material.

著者簡介

圖書目錄

讀後感

評分

評分

評分

評分

評分

用戶評價

评分

评分

评分

评分

评分

本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

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