Titre: Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
�diteur: Verlag Gachnang & Springer
Date de parution: 1990
Langue: anglais
ISBN � 10 chiffres: 3540972544
ISBN � 13 chiffres: 9783540972549
Reliure: Rilegato in Tela
�tat de l'article: fine
Type de livre: Libro

A propos de ce titre

Synopsis

This monograph provides an introduction to ANNA, a language for the specification of programs written in Ada. The text includes suggestions for the interpretation of package specifications and processes for consistent implementation of packages.

Les informations fournies dans la section � A propos du livre � peuvent faire r�f�rence � une autre �dition de ce titre.

Description de la librairie

Nata nel 1992, Libro Co. Italia � oggi un'azienda leader nella distribuzione libraria e vendita online che annovera tra la propria clientela le pi� importanti istituzioni (biblioteche, istituti specializzati) e musei italiani, americani ed europei, nonch� gallerie d'antiquariato e collezionisti di fama mondiale. Nel tempo, l'azienda ha notevolmente incrementato sia il catalogo che la gamma delle attivit� offerte e oggi propone servizi di: - distribuzione e promozione libraria Italia ed estero - logistica - vendita a librerie - fornitura a biblioteche - vendita al dettaglio - importazione libri stranieri - gestione e vendita remainders - ricerca e vendita libri rari/esauriti - pubblicazione di libri e periodici Per garantire la massima affidabilit� in questi servizi, ogni singola procedura e attrezzatura � stata testata per ottenere un altissimo grado di efficienza. I punti di forza di Libro Co. Italia sono infatti: - strutture informatiche all'avanguardia - base dati ampia, aggiornata e attendibile - servizio informazione preciso e puntuale - condizioni di vendita altamente concorrenziali - servizio evasione ordini veloce ed affidabile - gestione personalizzata clienti - sito web veloce e con interfaccia intuitiva L'organico di Libro Co. Italia � guidato dagli stessi soci, affiancati da un team che comprende esperti in storia dell'arte, personale specializzato, impiegati amministrativi, tecnici informatici e magazzinieri, tutti con esperienza pluriennale nel campo della distribuzione libraria.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

LIBRO CO. ITALIA S.R.L.
Via Etruria 2/4/6, San Casciano in Val di Pesa, 50026, Italy

Conditions de vente et de livraison

Conditions g�n�rales de vente

We accept Visa, Mastercard, Paypal.
Buyer will pre-pay book cost and shipping. Buyer should select the method of shipping.

Returns policy: In order to be eligible for a refund, you must return your item to us in the same condition you received it, and the return must be postmarked within 30 days of shipment.

When writing to us to arrange for its return, please be as descriptive as possible regarding the problem with the merchandise.

If you receive an item that is different to what was described,...

Pour plus d'information