Ada Software

Ada for Software Engineers 2nd Edition [Repost]  eBooks & eLearning

Posted by AlenMiler at July 31, 2014
Ada for Software Engineers 2nd Edition [Repost]

Ada for Software Engineers 2nd Edition by M. Ben-Ari
Springer | Apr 16 2009 | ISBN: 1848823134 | Pages: 524 | PDF | 2.63 MB

Ada is the programming language of choice for high integrity software systems and is used extensively in industries such as transportation and aerospace. Special features of the book include: Object-oriented programming, concurrency, and embedded and real-time systems are emphasized. Ada for Software Engineers explains the language concepts and the terminology of the standards document, the Ada Reference Manual (ARM). Extracts from the ARM are used throughtout and there are extensive cross references to the ARM.

Ada for Software Engineers  eBooks & eLearning

Posted by tot167 at April 4, 2009
Ada for Software Engineers

Mordechai Ben-Ari, "Ada for Software Engineers"
Springer | 2009 | ISBN: 1848823134 | 524 pages | PDF | 2 MB

Concurrent and Real-Time Programming in Ada (Repost)  eBooks & eLearning

Posted by leonardo78 at June 18, 2017
Concurrent and Real-Time Programming in Ada (Repost)

Concurrent and Real-Time Programming in Ada by Alan Burns, Andy Wellings
2007 | ISBN: 0521866979 | 476 pages | PDF | 2,25 MB

Ada is the only ISO-standard, object-oriented, concurrent, real-time programming language. It is intended for use in large, long-lived applications where reliability and efficiency are essential, particularly real-time and embedded systems.
Introductory Ada Programming Book: A Book for Beginner Programmers and Beginners to Ada

Introductory Ada Programming Book: A Book for Beginner Programmers and Beginners to Ada
English | 2016 | ASIN: B01N6D5TPE | 314 pages | PDF + EPUB (conv) | 5.55 Mb

Reliable Software Technologies – Ada-Europe 2017  eBooks & eLearning

Posted by AvaxGenius at May 30, 2017
Reliable Software Technologies – Ada-Europe 2017

Reliable Software Technologies – Ada-Europe 2017: 22nd Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 12-16, 2017, Proceedings By Johann BliebergerMarkus Bader
English | PDF | 2017 | 255 Pages | ISBN : 3319605879 | 12.5 MB

This book constitutes the refereed proceedings of the 22nd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2017, held in Vienna, Austria, in June 2017.

ADA Programming  eBooks & eLearning

Posted by lengen at Jan. 24, 2017
ADA Programming

ADA Programming by Wikibooks contributors
English | Sep. 13, 2011 | ISBN: 1466342773 | 410 Pages | PDF | 3 MB

ADA Programming is a tutorial teaching the Ada programming language. Ada puts unique emphasis on, and provides strong support for, good software engineering practices that scale well to very large software systems (millions of lines of code, and very large development teams).

La Magia del Software: Historia, Fundamentos y Perspectiva  eBooks & eLearning

Posted by AlenMiler at Nov. 8, 2016
La Magia del Software: Historia, Fundamentos y Perspectiva

La Magia del Software: Historia, Fundamentos y Perspectiva by Reynaldo Nuncio Limon
Spanish | 29 Sept. 2016 | ISBN: 1539158128 | 351 Pages | AZW3/MOBI/EPUB/PDF | 6 MB

Con cincuenta años de experiencia en el desarrollo de software y varios libros escritos sobre la materia, el autor nos ofrece en este tratado interesantes pasajes de la historia del software desde sus orígenes en la Inglaterra de la Revolución Industrial hasta las modernas tecnologías de la inteligencia artificial, el cómputo en la nube, la realidad aumentada, la robótica, la impresión 3D y la realidad virtual.

Programming in Ada 2012  eBooks & eLearning

Posted by roxul at Sept. 5, 2016
Programming in Ada 2012

John Barnes, "Programming in Ada 2012"
English | ISBN: 110742481X | 2014 | 967 pages | PDF | 5 MB

Reliable Software Technologies - Ada-Europe 2007  eBooks & eLearning

Posted by alt_f4 at Aug. 20, 2016
Reliable Software Technologies - Ada-Europe 2007

Reliable Software Technologies - Ada-Europe 2007: 12th Ada-Europe International Conference on Reliable Software Technologies, Geneva, Switzerland, … (Lecture Notes in Computer Science) by Nabil Abdennahder
English | Aug. 8, 2007 | ISBN: 3540732292 | 258 Pages | PDF | 2 MB

Reliable Software Technologies is an annual series of international conferences devoted to the promotion and advancement of all aspects of reliable software technologies.

ADA 3D Mesh2Surface For Rhinoceros 5.v4.1.74 (x64)  Software

Posted by speedzodiac_ at Nov. 2, 2015
ADA 3D Mesh2Surface For Rhinoceros 5.v4.1.74 (x64)

ADA 3D Mesh2Surface For Rhinoceros 5.v4.1.74 (x64) | 2 MB

Boost Rhinoceros software and make reverse engineering quick and easy. Mesh2Surface is a plug-in for Rhinoceros providing tools to convert your meshed scan data to complete CAD model in minutes rather than hours.