Items related to Programming with Specifications: An Introduction to...
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science) - Softcover
Synopsis
This monograph introduces ANNA, a language for specifying programs written in Ada.
"synopsis" may belong to another edition of this title.
Search results for Programming with Specifications: An Introduction to...
Stock Image
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Seller: Best Price, Torrance, CA, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9781461396871
Quantity: 2 available
Stock Image
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar2716030034894
Quantity: Over 20 available
Stock Image
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9781461396871_new
Quantity: Over 20 available
Stock Image
Programming with Specifications : An Introduction to ANNA, A Language for Specifying Ada Programs
Seller: Chiron Media, Wallingford, United Kingdom
Seller rating 4 out of 5 stars
PF. Condition: New. Seller Inventory # 6666-IUK-9781461396871
Quantity: 10 available
Stock Image
Programming with Specifications
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 440. Seller Inventory # 2654510451
Quantity: 4 available
Stock Image
Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs
Published by
Springer-Verlag New York Inc., 2012
ISBN 10: 1461396875
ISBN 13: 9781461396871
New
Paperback / softback
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
Paperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 643. Seller Inventory # C9781461396871
Quantity: Over 20 available
Stock Image
Programming with Specifications
Print on DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Print on Demand pp. 440 20 Figures, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Seller Inventory # 55082156
Quantity: 4 available
Stock Image
Programming with Specifications
Print on DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 440. Seller Inventory # 1854510457
Quantity: 4 available
Seller Image
Programming with Specifications
Print on DemandSeller: moluna, Greven, Germany
Seller rating 5 out of 5 stars
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Topics - what this book is about, - its intended audience, - what the reader ought to know, - how the book is organized, - acknowledgements. Specifications express information about a program that is not normally part of the program, and often cannot be exp. Seller Inventory # 4196625
Quantity: Over 20 available
Stock Image
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs (Monographs in Computer Science)
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. reprint edition. 432 pages. 9.25x6.10x0.94 inches. In Stock. Seller Inventory # x-1461396875
Quantity: 2 available