Ada 2012 Rationale: The Language -- The Standard Libraries (Lecture Notes in Computer Science, 8338)
Barnes, John
ISBN 10: 3642452094 ISBN 13: 9783642452093
Verlag: Springer, 2013
Neu
Softcover
Verkäufer
Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
AbeBooks-Verkäufer seit 25. März 2015
Dieser Artikel ist nicht mehr verfügbar.
Beschreibung
Beschreibung:
In. Bestandsnummer des Verkäufers ria9783642452093_new
Inhaltsangabe:
Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals for the new version were to further enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Many important new features have been included such as those defining dynamic contracts and for handling multiprocessors and are integrated within the existing language framework in an elegant and coherent manner. The Ada 2012 Rationale describes not only the changes from Ada 2005 but also the reason for the changes. It starts with an introduction providing a general overview and this is followed by seven chapters focusing on contracts and aspects; extended expressions; structure and visibility; tasking and real time; iterators and pools; predefined library and containers. The book concludes with an epilogue largely concerned with compatibility issues.
Über die Autorin bzw. den Autor: Dr Barnes' principal achievements have been in the area of computer programming language design. He designed the language RTL/2 whilst with ICI. This was widely used in the 1970s and 80s for process control in the UK, the Netherlands and South Africa. The first ticket barrier system on the London Underground was an early example. He was a member of the Ada language design teams. Ada is widely used in safety critical applications such as those found in defence systems generally, avionics, air traffic control and railroad signalling. He has published twelve books: RTL/2 Design and Philosophy (1976); Programming in Ada (1982); Programming in Ada 95 (1996); High Integrity Ada (1997); Ada 95 Rationale (1997); High Integrity Software (2003); Programming in Ada 2005 (2006); Ada 2005 Rationale (2008); Gems of Geometry (2009); SPARK (2012); Ada 2012 Rationale (2013); Programming in Ada 2012 (2014). "Programming in Ada" went through four editions and was translated into six languages.
Dr Barnes has published many papers and given many lectures and tutorials on various aspects of programming. Although moving towards retirement he still gives occasional lectures including lectures for postgraduate courses. He has recently rediscovered an interest in mathematics and has given a number of popular courses at the Universities of Reading and Oxford as part of their Continuing Education programs; Gems of Geometry (now in a second edition) is based on one set of these courses.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Bibliografische Details
Titel: Ada 2012 Rationale: The Language -- The ...
Verlag: Springer
Erscheinungsdatum: 2013
Einband: Softcover
Zustand: New
Beste Suchergebnisse beim ZVAB
Foto des Verkäufers
Ada 2012 Rationale : The Language -- The Standard Libraries
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Ada 2012 is the latest version of the international standard for the programming language Ada. It is designated ISO/IEC 8652:2012 (E) and is a new edition replacing the 2005 version. The primary goals for the new version were to further enhance its capabilities particularly in those areas where its reliability and predictability are of great value. Many important new features have been included such as those defining dynamic contracts and for handling multiprocessors and are integrated within the existing language framework in an elegant and coherent manner. The Ada 2012 Rationale describes not only the changes from Ada 2005 but also the reason for the changes. It starts with an introduction providing a general overview and this is followed by seven chapters focusing on contracts and aspects; extended expressions; structure and visibility; tasking and real time; iterators and pools; predefined library and containers. The book concludes with an epilogue largely concerned with compatibility issues. Artikel-Nr. 9783642452093
Neu kaufen
EUR 49,22
EUR 61,91 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar