Ada for Software Engineers, 2nd Edition (Mordechai Ben-Ari)

 
0.0 (0)
Ada for Software Engineers, 2nd Edition (Mordechai Ben-Ari)

Ada is the preferred programming language for high-integrity software systems and is widely utilized in sectors like aerospace and transportation. This book is meant for seasoned programmers who need to grasp Ada software design and programming (advanced students and working software engineers).

Ebook Details

About the Authors
For 15 years, Prof. Ben-Ari has taught Ada to university students and working programmers. He has written four previous textbooks, including the well-known Principles of Concurrent and Distributed Programming and Understanding Programming Languages (Wiley) (Prentice-Hall).
Publisher
Published
Published Date / Year
2nd ed. edition (April 16, 2009); eBook (2005)
Hardcover
524 pages
eBook Format
Online, PDF, 356 pages, 2.6 MB
ISBN-10
1848823134
ISBN-13
978-1848823136

Similar Programming & Computer Books

Apprendre l'informatique sans ordinateur - Learn computer science without a computer
In this free programming book, the author describes how to Learn computer science without a computer.  
UML For The IT Business Analyst (Howard Podeswa)
Information technology business analysts are frequently involved in OO and UML projects nowadays, but they still have a ways to go before fully utilizing the technology beyond use cases...
UML Process (Sharam Hekmat)
Using object technology, the UML Procedure is a standardized process for creating software systems. This document's goal is to define the UML Process at a level appropriate for practitioners...
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design (Craig Larman)
This book provides a clear and useful introduction to using objects to think about and build systems that are well-built, reliable, and maintained. ...
UML Tutorial (Tutorialspoint)
Essential competencies for beginning programmers! Unified Modeling Language principles are explained in this user-friendly book (UML).  
Dictionary of Programming Languages (Neal Ziring)
The Dictionary of Programming Languages is an online reference guide to computer coding techniques put together to educate and enhance your understanding of computer science history. Over 120 words...
Programming XML with C# (Mahesh Chand)
This free programming book is created in the style of a step-by-step tutorial and is intended for students and beginners who want to learn XML programming in the C#...
Programming C# for Beginners (Mahesh Chand)
Beginners and students who want to learn C# programming should read this free programming book. The C# language, including versions 1.0, 2.0, and 3.0, is covered in this pdf...
Principles, Patterns and Practices of Domain-Driven Design (Scott Millett)
For experienced developers creating applications for complicated domains, this book offers the Domain Driven Design (DDD) methodology in an approachable and useful manner.
Programmer's Heaven C# School Book (Faraz Rasheed)
The.NET framework and the C# language are covered in the Programmer's Heaven C# School book. It begins with a discussion of the language's fundamentals before moving on to discuss...

Others Programming Books by Mordechai Ben-Ari

Elements of Robotics (Mordechai Ben-Ari, et al)
In order to prepare for careers in industry and research, this book bridges the gap between playing with robots in elementary school and studying robotics at the higher undergraduate...

Others Programming Books by Springer

Stochastic Calculus and Finance (Steven E. Shreve)
The first 10 years of the Carnegie Mellon Professional Master program in Computational Finance led to the development of stochastic calculus for finance. Students with calculus and probability based...
Handbook of Digital Face Manipulation and Detection: From DeepFakes to Morphing Attacks (Christian Rathgeb, et al)
The first thorough compilation of research on the popular subject of digital face alteration, including DeepFakes, Face Morphing, and Reenactment, is offered in this open access book. ...
Bayes Factors for Forensic Decision Analyses with R (Silvia Bozza, et al)
With the help of the R programming language, this book offers a self-contained introduction to computational Bayesian statistics. This free programming book, which primarily focuses on Bayes factors supported...
Multimedia Forensics (Husrev Taha Sencar, et al)
The field of media forensics has never been more important to modern society. Media content not only makes up an ever-growing portion of the data that is transmitted over...
MMIXware: A RISC Computer for the Third Millennium (Donald E. Knuth)
This free programming book is a compilation of CWEB applications that turn MMIX into a virtual world. Among the included utilities are two simulators that run the programs in...
Ada 95 Rationale - The Language - The Standard Libraries (Laurent Guerby)
The justification for Ada 95, the updated International Standard, is discussed in this book. The first section, titled "Introduction to Ada 95," provides a general discussion of the program's...
Ada 95 Reference Manual: Language and Standard Libraries (Tucker S. Taft, et al)
The new International Standard ISO/IEC 8652:1995(E) for the Ada programming language is nearly identical to this Ada 95 Reference Manual.
Ada 95: The Lovelace Tutorial (David A. Wheeler)
Ada 95, one of the most popular programming languages in use today, is introduced by Lovelace. No prior knowledge of Ada is assumed, and all the fundamentals of the...
Introducing Ada 95 - The Language for a Complex World (John Barnes)
Ada is a programming language of particular value when creating large, reliable programs. This document introduces Ada 95, the updated International Standard, which increases Ada's flexibility and expands its...
Mathematical Modeling of the Human Brain: From Magnetic Resonance Images to Finite Element Simulation (Kent-André Mardal, et al)
This open-access book connects standard imaging and neuroscience technologies with the numerical solution of PDEs for brain modeling.
Mobile Forensics - The File Format Handbook (Christian Hummert, et al)
This free book compiles information on several file systems and file formats frequently used on mobile devices. Along with a basic explanation of the formats, there is information about...
Concrete Semantics: With Isabelle/HOL (Tobias Nipkow, et al.)
The reader learns how to use a proof assistant as a practical instrument for formal proofs concerning computer science artifacts as well as the art of exact logical reasoning...
Lectures on Symplectic Geometry (Ana Cannas da Silva)
These notes are intended to give graduate students who have some background in differential geometry, de Rham theory, and classical Lie groups a quick introduction to symplectic geometry. ...
Theory of Seismic Imaging (John A. Scales)
Currently, seismic imaging techniques are used to create images of the Earth's subsurface properties at a variety of length scales, from long-period images of the entire planet to high-resolution,...
Quantum Computing for the Quantum Curious (Ciaran Hughes, et al.)
With the publication of this open-access book, quantum computing is now more available than ever. Quantum computing, a rapidly expanding area at the nexus of physics and computer science,...
Scaling a Software Business: The Digitalization Journey (B. Fitzgerald, et al.)
The game's rules have been altered by software. Everyone talks about how society and industry are becoming more digitalized, and how the emphasis has switched from creating actual goods...
A Practical Theory of Programming (Eric C.R. Hehner)
Understanding the underlying theoretical paradigm is necessary to comprehend programming and programming languages. This book examines programming concepts that can be mathematically proven.
Error-Correction Coding and Decoding (Martin Tomlinson, et al)
The theory and practical uses of self-correcting data, sometimes known as error-correcting codes, are covered in this book.
The Functional Analysis of Quantum Information Theory (Ved Prakash Gupta, et al)
With a particular emphasis on their use in quantum information science, this book gives readers a condensed introduction to recent studies on operator algebras and their generalizations, operator spaces,...
Bayesian Methods in the Search for MH370 (Samuel Davey, et al.)
This book shows how a probability distribution of potential MH370 flight trajectories was generated using nonlinear/non-Gaussian Bayesian time series estimate techniques.

User reviews

There are no user reviews for this listing.
Ratings
Rate this Book
Comments