Titel: Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Verlag: Verlag Gachnang & Springer
Ver�ffentlichungsdatum: 1990
Sprache: Englisch
ISBN-10: 3540972544
ISBN-13: 9783540972549
Bindung: Rilegato in Tela
Zustand: fine
Buchtyp: Libro

�ber diesen Titel

Inhaltsangabe

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.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Anbieterinformationen

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.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

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

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

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

Mehr Information