Please type in at least 2 characters
Please type in at least 2 characters
Jarir Logo
  1. Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
Item 1 of 1
Item 1 of 1

Programming with Specifications : An Introduction to ANNA

A Language for Specifying Ada Programs

Printed Book
SR 518
Inclusive of VAT
Sold as: EACH
SR31Per Month/24 months
Author:Luckham, David
Date of Publication: 2012
Book classification:Computer & Technology,English Books
No. of pages:440 Pages
Format:Paperback

This book is printed on demand and is non-refundable after purchase

Available Formats :

Printed Book

It will be sent to your address

SR518
Incl. VAT

Choose your delivery preference

  • Secure Shopping
  • Convenient Returns
  • Genuine & Warranted
  • Fast Delivery
Or

About this Product

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

Specifications

SKU9781461396871
Manufacturer Number9781461396871
year published2012
Show more

Report an issue with this product.

Customer Reviews

Write Review
Go back to the top

Copyright © 2025. Jarir Bookstore. C. R. No. 1010032264. Online C. R. No. 1010654213. (Jarir Marketing Company) VAT ID 300056289500003. All Rights Reserved.