Programming with Specifications: An Introduction to ANNA, A Language for Specifying Ada Programs (Monographs in Computer Science)
Luckham, David
ISBN 10: 0387972544 ISBN 13: 9780387972541
Published by Springer, 1990
Used
Hardcover
From
Mispah books, Redhill, SURRE, United Kingdom
Seller rating 4 out of 5 stars
AbeBooks Seller since April 15, 2021
This specific item is no longer available.
About this Item
Description:
Dust Jacket may NOT BE INCLUDED.CDs may be missing. Seller Inventory # ERICA83003879725443
Synopsis:
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."
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Programming with Specifications: An ...
Publisher: Springer
Publication Date: 1990
Binding: Hardcover
Condition: Very Good
Dust Jacket Condition: Dust Jacket Included
Book Type: book
Top Search Results from the AbeBooks Marketplace
Stock Image
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
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
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. Seller Inventory # E-570-065
Quantity: 1 available
Stock Image
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
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
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. Seller Inventory # E-570-066
Quantity: 1 available
Stock Image
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
Used
Hardcover
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
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. Seller Inventory # E-554-961
Quantity: 1 available
Stock Image
PROGRAMMING WITH SPECIFICATIONS
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 2247647/202
Quantity: 1 available
Stock Image
Programming with Specifications - An Introduction to ANNA: A Language for Specifying Ada Programs
Seller: Basi6 International, Irving, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Seller Inventory # ABEJUNE24-89879
Quantity: 1 available
Stock Image
Programming with Specifications - An Introduction to ANNA: A Language for Specifying Ada Programs
Seller: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Seller rating 5 out of 5 stars
Condition: 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. Seller Inventory # ABNR-90299
Quantity: 1 available
Stock Image
Programming with Specifications
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. Seller Inventory # 261763727
Quantity: 1 available
Stock Image
Programming with Specifications
Seller: Majestic Books, Hounslow, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 7165520
Quantity: 1 available
Stock Image
Programming with Specifications
Seller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 181763717
Quantity: 1 available