Programming in ADA 2012 with a Preview of ADA 2022

Barnes, John

  • 出版商: Cambridge
  • 出版日期: 2022-05-19
  • 售價: $4,380
  • 貴賓價: 9.5$4,161
  • 語言: 英文
  • 頁數: 994
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 1009181343
  • ISBN-13: 9781009181341
  • 海外代購書籍(需單獨結帳)

商品描述

The latest edition of the definitive guide to the Ada language covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and introduces the key new features in Ada 2022. The book is in four parts. It begins by introducing the fundamental concepts for newcomers, before moving onto algorithmic aspects and then structural features such as OOP and multitasking. The fourth part gives details of the standard library and interaction with the external environment. Six complete executable programs illustrate the core features of the language in action. The book concludes with an appendix focussing on the new features in Ada 2022. These new features aid program proof and the efficient use of multicore architectures.

商品描述(中文翻譯)

這本關於Ada語言的權威指南的最新版本涵蓋了核心語言Ada 2012的詳細內容,並根據2016年ISO修正案進行了更新,同時介紹了Ada 2022的重要新功能。該書分為四個部分。首先介紹了新手的基本概念,然後轉向算法方面,接著介紹了面向對象編程和多任務處理等結構特性。第四部分詳細介紹了標準庫和與外部環境的交互。六個完整的可執行程序展示了語言的核心功能。該書以附錄結束,重點介紹了Ada 2022的新功能。這些新功能有助於程序驗證和多核架構的高效使用。