Title: Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
Publisher: Springer-Verlag New York Inc.
Publication Date: 2012
Language: English
ISBN 10: 1461396875
ISBN 13: 9781461396871
Binding: Paperback / softback
Condition: New

About this title

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

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

Store Description

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