Programming in ADA 2005 (International Computer Science Series) by John Barnes |
High Integrity Software: The SPARK Approach to Safety and Security by John Barnes |
by Dan Pilone
|
by Joshua Bloch
|
by Prof Alan Burns
|
See buying choices for this item to see if it's one of the millions that are eligible for Amazon Prime.
|
Customers Who Bought This Item Also Bought
Product details
Would you like to update product info or give feedback on images?
|
Customers Viewing This Page May Be Interested in These Sponsored Links(What is this?) |
Product Description
Review
‘Everyone should read this excellent book, and every real-time Ada developer should own it … I highly recommend it.’ Computing Reviews
Product Description
A major feature of the Ada programming language is the facilities it provides for concurrent programming. Alan Burns and Andy Wellings provide here a thorough and self-contained account of concurrent programming in Ada, and so show users, even beginners, how to harness the full power of the whole language. After giving an overview of the non-concurrent features of Ada, the authors proceed to examine in detail the uses of concurrent programming and the inherent difficulties in providing inter-process communication. The Ada tasking model is then introduced; the way it deals with these and related matters is explained in a number of separate chapters, covering system programming, real-time issues, distribution, object-oriented programming and re-use. This is the first book which deals with concurrent features in the new Ada standard, and it offers practical advice to the programmer needing to use it for embedded systems, while those interested more broadly in the development of programming languages will find many otherwise inaccessible issues probed in depth. It will thus be of value to professional software engineers and advanced students of programming alike; indeed, every Ada programmer will find it essential reading and a primary reference work. For the paperback edition the authors have made revisions throughout the text, updating and correcting where appropriate.
See all Product Description
‘Everyone should read this excellent book, and every real-time Ada developer should own it … I highly recommend it.’ Computing Reviews
Product Description
A major feature of the Ada programming language is the facilities it provides for concurrent programming. Alan Burns and Andy Wellings provide here a thorough and self-contained account of concurrent programming in Ada, and so show users, even beginners, how to harness the full power of the whole language. After giving an overview of the non-concurrent features of Ada, the authors proceed to examine in detail the uses of concurrent programming and the inherent difficulties in providing inter-process communication. The Ada tasking model is then introduced; the way it deals with these and related matters is explained in a number of separate chapters, covering system programming, real-time issues, distribution, object-oriented programming and re-use. This is the first book which deals with concurrent features in the new Ada standard, and it offers practical advice to the programmer needing to use it for embedded systems, while those interested more broadly in the development of programming languages will find many otherwise inaccessible issues probed in depth. It will thus be of value to professional software engineers and advanced students of programming alike; indeed, every Ada programmer will find it essential reading and a primary reference work. For the paperback edition the authors have made revisions throughout the text, updating and correcting where appropriate.
See all Product Description
Inside This Book
(Learn More)
Browse and search another edition of this book.
Browse and search another edition of this book.
First Sentence
Designing, implementing and maintaining software for large systems is a nontrivial exercise and one which is fraught with difficulties. Read the first page
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Designing, implementing and maintaining software for large systems is a nontrivial exercise and one which is fraught with difficulties. Read the first page
Explore More
Concordance
Browse Sample PagesConcordance
Front Cover | Copyright | Table of Contents | Excerpt | Index | Back Cover
Tag this product(What's this?)Think of a tag as a keyword or label you consider is strongly related to this product.
Tags will help all customers organize and find favorite items. |
Customer Reviews
|
Share your thoughts with other customers:
|
||||||||||||||||||||||
Most Helpful Customer Reviews
Share your thoughts with other customers: Create your own review
|
 |
Listmania!
Look for similar items by category
Feedback
- Would you like to update product info or give feedback on images?
- I am the Author, and I want to comment on my book.
- I am the Publisher, and I want to comment on this book.
Health & Beauty at Amazon.co.uk |
Treat Someone
With an Amazon.co.uk Gift Certificate, you can get them what they want (even if you don't know what that is). |
|||||||||
Make sure you always get what you want with an Amazon.co.uk 
| |||||
Your Recent History
(What's this?)|
You have no recently viewed items or searches.
After viewing product detail pages or search results, look here to find an easy way to navigate back to pages you are interested in. Look to the right column to find helpful suggestions for your shopping session. |
Continue Shopping: Top Sellers
| ||||
Amazon Home | |
| International Sites: United States | Germany | France | Japan | Canada | China | |
| Business Programs: Sell on Amazon | Fulfilment by Amazon | Join Associates | Join Advantage | |
| Customer Service | Help | View Basket | Your Account | |
| About Amazon.co.uk | Careers at Amazon | |
| Conditions of Use & Sale | Privacy Notice © 1996-2009, Amazon.com, Inc. and its affiliates |