Programming in Ada 2005 with CD
John Barnes
Verkauft von ThriftBooks-Atlanta, AUSTELL, GA, USA
AbeBooks-Verkäufer seit 24. März 2009
Gebraucht - Softcover
Zustand: Gebraucht - Gut
Versand innerhalb von USA
Anzahl: 1 verfügbar
In den Warenkorb legenVerkauft von ThriftBooks-Atlanta, AUSTELL, GA, USA
AbeBooks-Verkäufer seit 24. März 2009
Zustand: Gebraucht - Gut
Anzahl: 1 verfügbar
In den Warenkorb legenMay have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less.
Bestandsnummer des Verkäufers G0321340787I4N00
Ada has carved itself a niche in the safety-critical/embedded/real-time areas. It is the language of choice in application areas where reliability, long term maintainability and similar features are very important. Typical of such areas are defence embedded systems, railway signalling, air traffic control and so on.
Note especially that SPARK which is very successful for critical systems is based on Ada. No other language really has a suitable underlying structure.
This latest edition of the highly successful 'Programming in Ada' has been fully updated to the latest version of the language: Ada 2005.
Programming in Ada 2005
John Barnes
“This book is going to be a tremendous resource that will prove useful for many years. It combines a broad description of the entire language, including its predefined libraries, with an in-depth study of a number of areas of particular interest such as object-oriented techniques or concurrency. It includes extensive examples showing how the numerous features of Ada can be made to work together in practical situations.”
~ Pascal Leroy, Chairman of the Ada Rapporteur Group.
Programming in Ada 2005 is the definitive tutorial and reference for a ground-breaking new version of Ada (Ada 2005), a significant revision of the language of choice for applications where safety, security and reliability are paramount.
The major changes from Ada 95 are:
Ø A new OO model to incorporate Java-style multiple inheritance and more rigorous error analysis prior to execution;
Ø Synchronized interfaces to unify the OO and concurrent domains – a radical innovation in language design;
Ø More flexible but totally safe manipulation of pointers;
Ø An improved structure enabling large programs to be decomposed more easily;
Ø Many extensions to the Real-Time facilities, keeping Ada ahead of other languages for embedded applications;
Ø Improved interfacing to other systems and languages;
Ø Enhanced standard library support including containers.
John Barnes was a key member of the original Ada design team and has been a pivotal figure in its evolution ever since. Over 150,000 students and software engineers have learned Ada from previous editions – widely praised for their witty and urbane style. He is also the author of High Integrity Software: The SPARK Approach to Safety and Security.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
We guarantee the condition of every book as it's described
on the Abebooks website. If you're dissatisfied with your
purchase (Incorrect Book/Not as Described/Damaged) or if the
order hasn't arrived, you're eligible for a refund within 30
days of the estimated delivery date. If you've changed your
mind about a book that you've ordered, please use the "Ask
bookseller a question link to contact us" and we'll respond
as soon as possible.
Wenn Sie Verbraucher sind, steht Ihnen ein Widerrufsrecht nach folgender Maßgabe zu. Verbraucher ist jede natürliche Person, die ein Rechtsgeschäft zu Zwecken abschließt, die überwiegend weder ihrer gewerblichen noch ihrer selbständigen beruflichen Tätigkeit zugerechnet werden können.
WIDERRUFSBELEHRUNG
Widerrufsrecht
Sie haben das Recht, binnen vierzehn Tagen ohne Angabe von Gründen diesen Vertrag zu widerrufen.
Die Widerrufsfrist beträgt vierzehn Tage ab dem Tag, an dem Sie oder ein von Ihnen benannter Dritter, der nicht der Beförderer ist, die letzte Ware oder die letzte Teilsendung bzw. das letzte Stück in Besitz genommen haben bzw. hat.
Um Ihr Widerrufsrecht auszuüben, müssen Sie uns, Motor City Books, Motor City Books, 20509 Sibley Road, 48193, Brownstown, Michigan, U.S.A., +1 253-275-2251, mittels einer eindeutigen Erklärung (z.B. ein mit der Post versandter Brief, Telefax oder E-Mail) über Ihren Entschluss, diesen Vertrag zu widerrufen, informieren. Sie können dafür das beigefügte Muster-Widerrufsformular verwenden, das jedoch nicht vorgeschrieben ist. Sie können auch eine andere eindeutige Erklärung auf der Webseite "Meine Bestellungen" in Ihrem "Nutzerkonto" elektronisch ausfüllen und übermitteln. Machen Sie von dieser Möglichkeit Gebrauch, so werden wir Ihnen unverzüglich (z. B. per E-Mail) eine Bestätigung über den Eingang eines solchen Widerrufs übermitteln. Zur Wahrung der Widerrufsfrist reicht es aus, dass Sie die Mitteilung über die Ausübung des Widerrufsrechts vor Ablauf der Widerrufsfrist absenden.
Folgen des Widerrufs
Wenn Sie diesen Vertrag widerrufen, haben wir Ihnen alle Zahlungen, die wir von Ihnen erhalten haben, einschließlich der Lieferkosten (mit Ausnahme der zusätzlichen Kosten, die sich daraus ergeben, dass Sie eine andere Art der Lieferung als die von uns angebotene, günstigste Standardlieferung gewählt haben), unverzüglich und spätestens binnen vierzehn Tagen ab dem Tag zurückzuzahlen, an dem die Mitteilung über Ihren Widerruf dieses Vertrags bei uns eingegangen ist. Für diese Rückzahlung verwenden wir dasselbe Zahlungsmittel, das Sie bei der ursprünglichen Transaktion eingesetzt haben, es sei denn, mit Ihnen wurde ausdrücklich etwas anderes vereinbart; in keinem Fall werden Ihnen wegen dieser Rückzahlung Entgelte berechnet. Wir können die Rückzahlung verweigern, bis wir die Waren wieder zurückerhalten haben oder bis Sie den Nachweis erbracht haben, dass Sie die Waren zurückgesandt haben, je nachdem, welches der frühere Zeitpunkt ist. Sie haben die Waren unverzüglich und in jedem Fall spätestens binnen vierzehn Tagen ab dem Tag, an dem Sie uns über den Widerruf dieses Vertrags unterrichten, an Motor City Books, Motor City Books ATTN: Returns, 2337 Centerline Industrial Dr, 63146, St. Louis, Missouri, U.S.A., +1 253-275-2251, zurückzusenden oder zu übergeben. Die Frist ist gewahrt, wenn Sie die Waren vor Ablauf der Frist von vierzehn Tagen absenden.
Sie tragen die unmittelbaren Kosten der Rücksendung der Waren. Sie müssen für einen etwaigen Wertverlust der Waren nur aufkommen, wenn dieser Wertverlust auf einen zur Prüfung der Beschaffenheit, Eigenschaften und Funktionsweise der Waren nicht notwendigen Umgang mit ihnen zurückzuführen ist.
Ausnahmen vom Widerrufsrecht
Das Widerrufsrecht besteht nicht bzw. erlischt bei folgenden Verträgen:
ENDE DER WIDERRUFSBELEHRUNG
Muster-Widerrufsformular
(Wenn Sie den Vertrag widerrufen wollen, dann füllen Sie bitte dieses Formular aus und senden Sie es zurück)
An: (Motor City Books, Motor City Books, 20509 Sibley Road, 48193, Brownstown, Michigan, U.S.A., +1 253-275-2251)
Hiermit widerrufe(n) ich/wir* den von mir/uns* abgeschlossenen Vertrag über den Kauf der folgenden Waren*/ die Erbringung der folgenden Dienstleistung*
Bestellt am*/erhalten am*:
Name des/der Verbraucher(s):
Anschrift des/der Verbraucher(s):
Unterschrift des/der Verbraucher(s) (nur bei Mitteilung auf Papier):
Datum:
* Unzutreffendes streichen.
All domestic Standard and Expedited shipments are distributed from our warehouses by OSM, then handed off to the USPS for final delivery.
2-Day Shipping is delivered by FedEx, which does not deliver to PO boxes.
International shipments are tendered to the local postal service in the destination country for final delivery – we do not use courier services for international deliveries.
| Bestellmenge | 4 bis 8 Werktage | 4 bis 8 Werktage |
|---|---|---|
| Erster Artikel | EUR 0.00 | EUR 0.00 |
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.