Beginning Ada Programming (eBook)
XVII, 343 Seiten
Apress (Verlag)
978-1-4842-5428-8 (ISBN)
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.
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.
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 AdaUse Ada arrays, records, and access typesImplement OO programming using AdaHandle the basics of I/O and interfacing with the operating systemTake advantage of string operators, data containers, multiprocessing with tasks, and moreWork with contracts and proofs, networks, and various Ada libraries Who This Book Is ForProgrammers who are new to Ada, with at least some experience in programming, especially scientific programming.
| Erscheint lt. Verlag | 9.12.2019 |
|---|---|
| Zusatzinfo | XVII, 343 p. |
| Sprache | englisch |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Schlagworte | ADA • application • Beginning • build • Code • language • programming • Software • source |
| ISBN-10 | 1-4842-5428-7 / 1484254287 |
| ISBN-13 | 978-1-4842-5428-8 / 9781484254288 |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)Größe: 2,8 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
