Title: Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Publisher: Verlag Gachnang & Springer
Publication Date: 1990
Language: English
ISBN 10: 3540972544
ISBN 13: 9783540972549
Binding: Rilegato in Tela
Condition: fine
Book Type: Libro

About this title

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.

"About this title" may belong to another edition of this title.

Store Description

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.

Visit Seller's Storefront

Seller's business information

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

Sale & Shipping Terms

Terms of Sale

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,...

More Information