-
1. Programming in Ada 2022
by John Barnes
Seller Description: 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 parts. The first part introduces the key ideas to the newcomer with a working example illustrating ... See More Details
ISBN-13: 9781009564779
Paperback, New
NV, USA
$80.83
-
2. Concurrent and Real-Time Programming in ADA
by Alan Burns, Andy Wellings
Seller Description: The only book that explains Ada tasking model, covering the latest version of Ada and its use in real-time and concurrent systems. See More Details
ISBN-13: 9780511296635
Hardcover, New
$92.50
-
3. Space Tethers and Space Elevators
by Michel Van Pelt
Seller Description: Michel van Pelt explains the principle of space tethers: what they are and how they can be used in space, along with elevators. He introduces space enthusiasts to the possibilities of space tethers including the technological challenges and potential benefits. See More Details
ISBN-13: 9781493901982
Paperback, New
NV, USA
$32.62
-
4. Reliable Software Technologies - ADA-Europe 2001: 6th ADA-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings
by Dirk Craeynest (Editor), Alfred Strohmeier (Editor)
Seller Description: The Sixth International Conference on Reliable Software Technologies, Ada- Europe 2001, took place in Leuven, Belgium, May 14-18, 2001. It was sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda, and it was organized by members of the K.U. Leuven and Ada- Belgium. This was the 21st consecutive ... See More Details
ISBN-13: 9783540421238
Paperback, New
NV, USA
$33.24
-
5. Reliable Software Technologies - Ada-Europe 2014: 19th Ada-Europe International Conference on Reliable Software Technologies, Paris, France, June 23-27, 2014. Proceedings
by Laurent George (Editor), Tullio Vardanega (Editor)
Seller Description: 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 were carefully reviewed and selected from 68 submissions. They are organized in topical sections on ... See More Details
2014
ISBN-13: 9783319083100
Paperback, New
NV, USA
$60.65
|
