Order Total (1 Item Items):
Shipping Destination:
Programming Specifications Introduction Anna by Luckham David (12 results)
Feedback
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (12)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition
Binding
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (1)
- Seller-Supplied Images (1)
- Not Print on Demand (11)
Language (1)
Free Shipping
Seller Location
Seller Rating
-
Hardcover. Condition: Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. book.
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Published by Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544 ISBN 13: 9780387972541
Language: English
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Published by Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544 ISBN 13: 9780387972541
Language: English
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
Programming With Specifications: An Introduction to Anna, a Language for Specifying Ada Programs
Published by Springer-Verlag New York Inc, 1991
ISBN 10: 0387972544 ISBN 13: 9780387972541
Language: English
Hardcover. Condition: Très bon. Ancien livre de bibliothèque. Edition 1991. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1991. Ammareal gives back up to 15% of this item's net price to charity organizations.
-
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
£ 50.82
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketCondition: New. In.
-
£ 56.47
Convert currencyFree shipping from U.S.A. to United KingdomQuantity: 1 available
Add to basketCondition: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
-
Programming with Specifications. An Introduction to ANNA, a Language for Specifying ADA Programmes
Published by Verlag Gachnang & Springer, 1990
ISBN 10: 3540972544 ISBN 13: 9783540972549
Language: English
Seller: Libro Co. Italia Srl, San Casciano Val di Pesa, FI, Italy
Seller rating 5 out of 5 stars
£ 38.16
Convert currency£ 18.20 shipping from Italy to United KingdomQuantity: 1 available
Add to basketRilegato in Tela. Condition: fine. English Text.Berlin, 1990; clothbound, pp. 432. Libro.
-
£ 53.53
Convert currency£ 12.12 shipping from Germany to United KingdomQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 expressed in a programming lan guage. In the past, the word 'specification' has sometimes been used to refer to somewhat vague documentation written in English. But today it indicates a precise statement, written in a machine processable language, about the purpose and behavior of a program. Specifications are written in languages that are just as precise as programming languages, but have additional capabilities that increase their power of expression. The termi nology formal specification is sometimes used to emphasize the modern meaning. For us, all specifications are formal. The use of specifications as an integral part of a program opens up a whole new area of programming - progmmming with specifications. This book describes how to use specifications in the process of building programs, debugging them, and interfacing them with other programs. It deals with a new trend in programming - the evolution of specification languages from the current generation of programming languages. And it describes new strategies and styles of programming that utilize specifications. The trend is just beginning, and the reader, having finished this book, will viii Preface certainly see that there is much yet to be done and to be discovered about programming with specifications.
-
Paperback. Condition: Brand New. reprint edition. 432 pages. 9.25x6.10x0.94 inches. In Stock.
-
PF. Condition: New.
-
£ 45.79
Convert currency£ 55.57 shipping from U.S.A. to United KingdomQuantity: Over 20 available
Add to basketCondition: New.
-
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
Language: English
Seller: THE SAINT BOOKSTORE, Southport, United Kingdom
Seller rating 5 out of 5 stars
£ 56.09
Convert currencyFree shipping within United KingdomQuantity: Over 20 available
Add to basketPaperback / softback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 643.
