Lecture Notes in Computer Science - 1247: Ada 95 Rationale
Language: English
Published by Springer, 1997
- Softcover
- Used
Seller: Bookbot, Prague, Czech RepublicBookbot
AbeBooks seller since October 7, 2023
Condition: Used - Fine
US$ 23.69
Quantity: 1 available
Add to basketItem description from seller
Leichte Gebrauchsspuren; Leichte Verformung / umgeknickte Seiten. Ada 95, the enhanced version of the Ada programming language, is now in place and has attracted much attention in the community since the International Standard ISO/IEC 8652:1995(E) for the language was approved in 1995. The Ada 95 Rationale comes in four parts. The introductory part is a general discussion of the scope and objectives of Ada 95 and its major technical features. The second part contains a more detailed step by step account of the core language. The third part consists of several annexes addressing the predefined environment and specialized application areas. Finally, the three appendices of the fourth part are devoted to the upward compatibility with Ada 83, a few changes since the drafts of the standard were made public, and a summary of requirements.
Seller Inventory # c6747389-fc2d-4b01-83f2-4c0d8b2f8687
- Title
- Lecture Notes in Computer Science - 1247: Ada 95 Rationale
- Author
- J. G. P. Barnes
- Publisher
- Springer
- Publication year
- 1997
- Condition
- Fine
- Binding
- Softcover
- Language
- English
- ISBN 10
- 3540631437
- ISBN 13
- 9783540631439
"Synopsis" may belong to another edition of this title.
Shipping rates from Czech Republic to U.S.A.
| Item | 4 to 7 business days | 4 to 7 business days |
|---|---|---|
| First item | US$ 24.03 | US$ 24.03 |
Payment methods
- Bank Wire Transfer
- Paypal
Store description
Bücher kaufen und verkaufen an einem Ort, schnell und ohne Aufwand – so lautet unser Bookbot Erfolgskonzept. Mit unserem innovativen Konzept machen wir mit Bookbot den Online-Buchhandel nachhaltiger und bringen hochwertige, gebrauchte Bücher antiquarisch in den Umlauf. Mit der Leidenschaft für Bücher, dem Wunsch ihren Lebenszyklus zu verlängern und dabei gleichzeitig die Umweltbelastung zu reduzieren, hat Dominik Gazdoš Bookbot gegründet. Im klaren Fokus stehen dabei Kundenkomfort und Benutzerfreundlichkeit. Unsere Plattform verspricht Leser*innen eine breite Auswahl sowie einen sicheren Kaufprozess. Von Bestsellern über Klassiker bis hin zu Nischenliteratur bietet wir auch lesefreudigen Österreicher*innen eine wahre Schatzkiste zu fairen Preisen. Im Gegensatz zu herkömmlichen Verkaufsplattformen gehen wir einen Schritt weiter, indem wir den gesamten Verkaufs- und Versandprozess übernehmen – angefangen beim professionellen Abfotografieren der Bücher bis hin zur Ermittlung eines fairen Preises sowie der Kommunikation mit potenziellen Käufer*innen. Verkäufer*innen schicken lediglich ihre Buchschätze an uns und warten, bis diese neue Besitzer*innen finden und das Entgelt bei ihnen eintrudelt. Die breitgefächerte Auswahl an Buch-Genres reicht von Klassikern, Bestsellern über alte Schätze und kultigen Comics bis hin zu Fachpublikationen. Wir bieten hunderttausende Titel aller Genres in vielen Sprachen, meist in perfektem Zustand an. Bei älteren oder beschädigten Büchern finden sich online detaillierte Bilder des Zustands auf unserer Website. Wir sind stolz, bereits 200.000 glückliche Bookbot-Kund*innen an Bord zu haben und bieten damit eine breite Community an vielen potentielle Käufer*innen. Nach gelungenen Markteintritten in Tschechien, Deutschland und der Slowakei, sind wir nun auch in Österreich tätig.…
Specialty
used booksSeller's business information
Knihobot s.r.o.
Dukelských hrdinů 359/21
Praha, Czech Republic 17000
Terms of sale
Terms and Conditions of Purchase from Bookbot
- General provisions
1.1 These Terms and Conditions of Purchase (the ‘Terms and Conditions’) of Knihobot s.r.o. (english website Bookbot), Company ID No.: 054 00 651, with its registered office at Dukelských hrdinů 359/21, Holešovice, 170 00 Prague 7, registered in the Commercial Register maintained by the Municipal Court in Prague, Section C, Entry 289573 (‘Bookbot’), regulate mutual rights and obligations arising from a purchase contract entered into in compliance with Section 2079 et seq. of Act No. 89/2012 Coll., the Civil Code (‘Purchase Contract’).
1.2 The provisions hereof are an integral part of the Purchase Contract.
- Goods and their price
2.1 Under the Purchase Contract, Bookbot as the seller undertakes to hand over to the buyer an item that is the subject of purchase and to allow the buyer to acquire the ownership title to the item, and the buyer undertakes to take over the item and pay the purchase price to Bookbot as the seller.
2.2 The item to be purchased shall be understood to be, in particular, books, magazines and other items that Bookbot normally trades (‘Goods’), and which are displayed in the offer of Bookbot’s e-shop available at www.bookbot.com (‘e-shop’).
2.3 All the Goods offered in the e-shop are used, for that reason, they are subject to Section 2167 et seq. of the Act No. 89/2012 Coll., the Civil Code.
2.4 The price of the Goods displayed in the e-shop is inclusive of VAT. The price of the Goods does not include the cost of postage or any cash on delivery or payment costs charged by the external providers of such services.
- Non-binding reservation and personal collection at Bookbot/Knihobot branch
3.1 The buyer can reserve the Goods offered in the e-shop without incurring any obligations and collect them in person at a selected Bookbot branch after Bookbot confirms the reservation. The buyer is obliged to properly inspect the Goods when collecting them and check them for any defects. The buyer acquires the ownership title to the Goods at the moment they take over the Goods in person and pay the purchase price.
3.2 The Purchase Contract entered into under Article 3.1 hereof cannot be withdrawn from within the meaning of Article 5 hereof.
- Ordering Goods and carriage of Goods
4.1 The buyer can have the Goods offered in the e-shop transported to their destination by a carrier. In such an event, the Purchase Contract is entered into once Bookbot confirms the order of Goods.
4.2 The Purchase Contract entered into pursuant to Article 4.1 hereof may be withdrawn from within the meaning of Article 5 hereof.
4.3 The cost of carriage of the Goods to the buyer shall be borne by the buyer unless otherwise decided by Bookbot. The current price list for postage and cash-on-delivery is available on Bookbot’s website HERE.
- Withdrawal from the Purchase Contract
5.1 If the Purchase Contract is entered into remotely, i.e., in the manner defined in Article 4 hereof, the buyer shall be entitled to withdraw from the Contract within fourteen days even without giving a reason.
5.2 The buyer shall inform Bookbot of the withdrawal from the Purchase Contract by email to info@bookbot.com before the expiry of the fourteen-day period from the date of the Goods takeover.
5.3 Following a call from Bookbot, the buyer shall be obliged to send or hand over to Bookbot the Goods received from Bookbot within fourteen days of the call from Bookbot. The time limit shall be deemed to have been met if the buyer hands over the Goods to a carrier no later than on the last day of the time limit referred to in the previous sentence. The costs associated with the return of the Goods shall be borne by the buyer.
5.4 If the buyer withdraws from the Purchase Contract, Bookbot shall refund the buyer without undue delay, however, no later than within fourteen days of the withdrawal from the Purchase Contract, all funds received from the buyer under the Purchase Contract, including the costs of delivery. Bookbot will only refund the buyer in a different way than their payment method to Bookbot if the buyer consents to it and if Bookbot does not incur any other costs.
5.5 The buyer shall be held liable for any reduction in value of the Goods as a result of handling the Goods in a manner different from the one that is necessary to familiarise oneself with the nature and properties of the Goods, including their functions.
- Rights from defective performance
6.1 Goods shall be considered defective if they are not delivered in the agreed quantity, quality and design.
6.2 The buyer shall inspect the Goods upon takeover and check the quality and quantity of the Goods.
6.3 The buyer’s right from defective performance arises out of a defect that the Goods have at the moment the liability for damage passes onto the buyer even if it demonstrates itself later. The buyer shall not have rights from defective performance in the event they should have identified the defect as early as during the Contract conclusion if they had paid usual attention to the Goods. In addition, the buyer shall not have rights from defective performance in the event of usual wear and tear or defects and damage clearly documented during the sale of the Goods.
6.4 Once the buyer discovers a defect in the Goods, they shall be obliged to inform Bookbot by email without undue delay. If the buyer does not report the defect in the Goods in due time, they shall lose the right to withdraw from the Contract.
6.5 Bookbot shall be obliged to issue to the buyer at their request a written confirmation of its obligations from defective performance to the scope defined in Section 2166 of Act No. 89/2012 Coll., the Civil Code.
6.6 If Bookbot deems it necessary, the buyer is obliged to present the claimed Goods for assessment of the claim. Bookbot shall assess the claim within 14 days of receipt of the claimed Goods and inform the buyer of the claim settlement within this time limit.
6.7. The buyer is entitled to exercise its rights from defective performance in respect of used Goods within 12 months of the sale of the Goods.
- Receipt
7.1 Bookbot will send the receipt to the buyer’s email address that the buyer provided when completing the order. By placing an order, the buyer expressly agrees to this form of issuing a receipt.
7.2 Bookbot will inform the buyer about the order processing, availability and unavailability of the Goods to the email address and mobile number provided by the buyer when completing the order.
- Out-of-court settlement of consumer disputes
8.1 In the event of a consumer dispute under the Purchase Contract between Bookbot and the buyer who is a consumer, and if the dispute cannot be settled by agreement, the buyer may file a motion to out-of-court settlement of the dispute with a designated entity for out-of-court settlement of consumer disputes, which is the Czech Trade Inspection Authority, Central Inspectorate – ADR Department, Štěpánská 15, 120 00 Prague 2, email: adr@coi.cz, web: https://www.coi.cz/informace-o-adr.
8.2 Consumers can also use the online dispute resolution platform set up by the European Commission at http://ec.europa.eu/consumers/odr/.
- Final provisions
9.1 All arrangements between Bookbot and the buyer are governed by the laws of the Czech Republic. If the relationship established by the Contract contains an international element, the parties agree that the relationship shall be governed by the laws of the Czech Republic.
9.2 Bookbot may amend the Terms and Conditions.
9.3 Customer support contact details are indicated in the e-shop bookbot.com
The address for delivery by email is: info@bookbot.com
phone number: +49 78 195 633 044 (daily from 8 a.m. to 8 p.m.). Available in English, German and Czech
Any questions, suggestions, comments or complaints can be handled at info@bookbot.com.
These Terms and Conditions take effect on 10 March 2023.
Shipping terms
Shipping costs fully cover all US customs tariffs and charges. No additional payment will be required by the US authorities.