Beginning ADA Programming: From Novice to Professional
暫譯: 初學ADA程式設計:從新手到專業人士

Shvets, Andrew T.

  • 出版商: Apress
  • 出版日期: 2019-12-10
  • 售價: $2,050
  • 貴賓價: 9.5$1,948
  • 語言: 英文
  • 頁數: 343
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 1484254279
  • ISBN-13: 9781484254271
  • 海外代購書籍(需單獨結帳)

商品描述

Discover the Ada programming language by being gently guided through the various parts of the language and its latest available stable release. The goal in this book is to slowly ease you into the different topics. It is understood that you do not always have ample free time, so the text is easy to digest and concepts are spoon fed to the reader.

Starting with the simplest of topics, detailed explanations demonstrate the how and why of Ada. You are strongly encouraged to experiment and break things (without which the learning process is linear and quite dull). At the end of Beginning Ada Programming, you will have an excellent understanding of the general topics that make up the Ada programming language and can tackle far more challenging topics.

Each chapter builds on what was previously described. Furthermore, each code example is independent of others and will run all by itself. Instructions are provided where you can obtain an Ada compiler and how to debug your code.

 

What You Will Learn

  • Master basic types, control structures, procedures, and functions in Ada
  • Use Ada arrays, records, and access types
  • Implement OO programming using Ada
  • Handle the basics of I/O and interfacing with the operating system
  • Take advantage of string operators, data containers, multiprocessing with tasks, and more
  • Work with contracts and proofs, networks, and various Ada libraries

Who This Book Is For

Programmers who are new to Ada, with at least some experience in programming, especially scientific programming.

 

商品描述(中文翻譯)

探索 Ada 程式語言,透過輕鬆引導了解語言的各個部分及其最新的穩定版本。本書的目標是讓您逐步熟悉不同的主題。我們理解您不一定有充裕的空閒時間,因此文本易於消化,概念也會逐步引導讀者理解。

從最簡單的主題開始,詳細的解釋展示了 Ada 的運作方式及其背後的原因。我們強烈鼓勵您進行實驗和嘗試(否則學習過程將是線性且相當乏味的)。在《Beginning Ada Programming》的結尾,您將對構成 Ada 程式語言的一般主題有出色的理解,並能夠挑戰更具挑戰性的主題。

每一章都建立在之前描述的內容之上。此外,每個程式碼範例都是獨立的,並且可以單獨運行。書中提供了獲取 Ada 編譯器的指導以及如何調試您的程式碼。

您將學到的內容:

- 精通 Ada 的基本類型、控制結構、程序和函數
- 使用 Ada 陣列、記錄和存取類型
- 使用 Ada 實現物件導向程式設計
- 處理 I/O 基礎及與作業系統的介接
- 利用字串運算子、資料容器、任務的多工處理等
- 使用合約和證明、網路及各種 Ada 函式庫

本書適合對象:

對 Ada 程式語言感興趣的程式設計師,需具備至少一些程式設計經驗,特別是科學程式設計。

作者簡介

Ever since beginning programming, Andrew Shvets was very interested in writing software that could be proven to be correct, without having to test every possible outcome or pray that extra bugs won't show up. Upon discovering SPARK/Ada, it became clear that his calling was answered.

作者簡介(中文翻譯)

自從開始編程以來,Andrew Shvets 對於編寫可以被證明是正確的軟體非常感興趣,而不必測試每一個可能的結果或祈禱不會出現額外的錯誤。在發現 SPARK/Ada 之後,他的使命變得明確。