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 Adacompiler 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.

Informazioni sull?autore:

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

We carry a comprehensive range of out of print and rare books.

Visita la pagina della libreria

Informazioni sull?azienda del venditore

Kennys Bookshops and Art Galleries Limited
Liosban Industrial Estate, Tuam Road, Galway, GY, Ireland

Condizioni di vendita:

We guarantee the condition of every book as it's described on the Abebooks websites.

If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date.

For any queries please use the contact seller link or send an email to books@kennys.ie

Conor Kenny

Condizioni di spedizione:

All books securely packaged. Some books ship from Ireland.

Metodi di pagamento
accettati dalla libreria