The latest version of Programming in Ada covers the full details of the core language Ada 2022 as approved by ISO in 2023, including new features that aid program proof and the efficient use of multicore architectures. The book is arranged in four...Loe edasi...
The latest edition of the definitive guide to the Ada language covers the full details of the core language Ada 2012 as updated by the 2016 ISO Corrigendum and introduces the key new features in Ada 2022. The book is in four parts. It begins by intro...Loe edasi...
(Ilmumisaeg: 19-Nov-2021, Hardback, Kirjastus: ISTE Ltd and John Wiley & Sons Inc, ISBN-13: 9781786306029)
This book – composed of two volumes – explores the syntactical constructs of the most common programming languages, and sheds a mathematical light on their semantics, providing also an accurate presentation of the material aspects...Loe edasi...
This book constitutes the proceedings of the 23rd Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2018, held in Lisbon, Portugal, in June 2018. The 10 papers presented in this volume were carefully reviewed...Loe edasi...
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.The revised 15 full papers presented were carefully rev...Loe edasi...
S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy, Edmond Schonberg
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 15-Jan-2014, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642454189)
The Ada 2012 Reference Manual is an enhanced version of the text of International Standard ISO/IEC 8652/2012(E) for the programming language Ada. The Ada 2012 Reference Manual combines all of the previous corrections of Technical Corrigendum 1 and Am...Loe edasi...
(Ilmumisaeg: 04-Dec-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642452093)
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 c...Loe edasi...
This book constitutes the refereed proceedings of the 19th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2014, held in Paris, France, in June 2014. The revised 12 full papers presented together with two keynotes we...Loe edasi...
Hubert B. Keller, Erhard Plödereder, Peter Dencker, Herbert Klenk
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 16-May-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642386008)
This book constitutes the refereed proceedings of the 18th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2013, was held in Berlin, Germany, in June 2013. The 11 full papers presented were carefully reviewed and sel...Loe edasi...
(Ilmumisaeg: 23-May-2012, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642305979)
This book constitutes the refereed proceedings of the 17th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2012, held in Stockholm, Sweden, in June 2012. The revised 15 full papers presented were carefully reviewed a...Loe edasi...
(Ilmumisaeg: 07-Apr-2011, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9780521197168)
The arrival and popularity of multi-core processors has sparked a renewed interest in the development of parallel programs. Similarly, the availability of low-cost microprocessors and sensors has generated a great interest in embedded real-time prog...Loe edasi...
(Ilmumisaeg: 14-Jun-2011, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642213373)
This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invit...Loe edasi...
(Ilmumisaeg: 01-Jun-2010, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642135491)
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well...Loe edasi...
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...Loe edasi...
(Ilmumisaeg: 25-May-2009, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642019234)
This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009.The 19 papers presented were carefully reviewed and selected from...Loe edasi...
(Ilmumisaeg: 20-May-2008, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540797005)
Ada 2005 is the latest version of the International Standard for the programming language Ada. Formally, it is an Amendment of ISO/IEC 8652:1995 (E) rather than a completely new standard. The primary goals for the new version were to enhance its capa...Loe edasi...
(Ilmumisaeg: 05-Jul-2007, Hardback, Kirjastus: Cambridge University Press, ISBN-13: 9780521866972)
Burns and Wellings (U. of York, England) discuss the Ada tasking model in computer programming applications, and how it is the only ISO standard real-time programming language that is concurrent and object-oriented. Designed as an update to the duos...Loe edasi...
(Ilmumisaeg: 03-Jun-2008, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540686217)
This book constitutes the refereed proceedings of the 13th International Conference on Reliable Software Technologies, Ada-Europe 2008, held in Venice, Italy, in June 2008. The 20 revised full papers presented were carefully reviewed and selected fro...Loe edasi...
S. Tucker Taft, Robert A. Duff, Randall L. Brukardt, Erhard Ploedereder, Pascal Leroy
Sari: Programming and Software Engineering
(Ilmumisaeg: 22-Dec-2006, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540693352)
The Ada 2005 Reference Manual combines the International Standard ISO/IEC 8652/1995(E) for the programming language Ada with the corrections of the Technical Corrigendum 1 approved by ISO in February 2001 and with the Amendment 1 expected to be appro...Loe edasi...
(Ilmumisaeg: 04-Aug-2006, Paperback / softback, Kirjastus: Jones and Bartlett Publishers, Inc, ISBN-13: 9780763737948)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
Ada Plus Data Structures is the most up-to-date, student-friendly Ada text available. Using the newly updated Ada 2005, the text introduces and discusses such familiar topics as strings, sets, stacks, queues, lists, trees, graphs, and much more. Th...Loe edasi...
