Titre: Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
�diteur: Springer-Verlag New York Inc.
Date de parution: 2012
Langue: anglais
ISBN � 10 chiffres: 1461396875
ISBN � 13 chiffres: 9781461396871
Reliure: Paperback / softback
�tat de l'article: New

A propos de ce titre

This monograph introduces ANNA, a language for specifying programs written in Ada.

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

The Saint Bookstore has a range of over 1 million titles available.

SB ONLINE LTD
50 Devonshire Road, Southport, PR9 7BZ, United Kingdom

Please order through the Abebooks checkout. We only take orders through Abebooks - We don't take direct orders by email or phone.

Refunds or Returns: A full refund of the purchase price will be given if returned within 30 days in undamaged condition.

As a seller on abebooks we adhere to the terms explained at http://www.abebooks.co.uk/docs/HelpCentral/buyerIndex.shtml - if you require further assistance please email us at orders@thesaintbookstore.co.uk